The Coq mailing list

["Soegtrop, Michael" <michael.soegtrop AT intel.com>]

Dear Mike,

attached please fine my build notes, which are based on some detailed 
instructions I got from Enrico Tassi. I hope it helps.

Best regards,

Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Prof. Dr. Hermann Eul
Chairperson of the Supervisory Board: Tiffany Doon Silva
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928
Cygwin 32 installation

    - Use setup-x86.exe
    - Destination Folder: C:\bin\cygwin32
    - Internet-explorer OR enter your proxy server and port
    - Attention: package folder should be kept separate for cygwin 32 and 
cygwin 64
    - Additional packages:
        wget
        git

Extract CoqSDK to C:\

    - Download  https://coq.inria.fr/distrib/8.5beta1/files/CoqSDK-85-1.zip
    - Extract in C:\temp
    - Move folder to C:\

Edit C:\bin\cygwin32\etc\wgetrc to enable proxy:

    # You can set the default proxies for Wget to use for http, https, and 
ftp.
    # They will override the value in the environment.
    https_proxy = http://<yourptoxyserver>:<port>/
    http_proxy = http://<yourptoxyserver>:<port>/
    ftp_proxy = http://<yourptoxyserver>:<port>/
    
    # If you do not want to use proxy at all, set this to off.
    use_proxy = on

For git this is required in addition (maybe also helps for wget?)

    export http_proxy="http://<yourptoxyserver>:<port>"
    export https_proxy="http://<yourptoxyserver>:<port>"
    export ftp_proxy="http://<yourptoxyserver>:<port>"

From a Cygwin32 Terminal

    $ source /cygdrive/c/CoqSDK-85-1/environ
    
    This should be quick. If not, the proxy is not setup properly
    This will kill the cygwin terminal. After install is finished, restart a 
cygwin shell and run the environ script again
    
    $ source /cygdrive/c/CoqSDK-85-1/environ
    /usr/bin/i686-w64-mingw32-gcc
    /usr/bin/make
    /usr/bin/sed
    Good.  You can now build Coq and Coqide from cygwin.

Clone Coq repo

    git clone https://github.com/coq/coq.git
    cd coq
    git checkout v8.5

Build win32 installer

    dev/make-installer-win32.sh