The Coq mailing list

["Chung Kil Hur" <ckh25 AT cam.ac.uk>]

Dear coq-users,

 

I compiled Coq 8.2pl1 + ssreflect 1.2 + Heq 0.9 together in Windows.

Even when you have trouble with compiling ssreflect 1.2, you can use these binaries (coqtop.opt.exe & copide.opt.exe).

 

-------------------

 

WARNING: This is only for Windows users.

 

http://www.pps.jussieu.fr/~gil/Heq/download/Heq-0.9.zip

 

1. Download the above file and unzip 'Heq-0.9.zip' and overwrite your 'coqtop.opt.exe' & 'coqtop.exe' with 'Heq-0.9/winbin/coqtop.opt.exe'.

   If you use coqide, overwrite your 'coqide.opt.exe' & 'coqide.exe' with 'Heq-0.9/winbin/coqide.opt.exe'.

 

2. If you want to install Heq 0.9, then see 'Heq-0.9/INSTALL'.

 

If you want to install ssreflect 1.2,

 

3. unzip 'ssreflect-1.2.zip' and go to the directory 'ssreflect-1.2' and delete the following two lines in the file 'Make'.

 

    -custom "$(COQBIN)coqmktop -opt -o bin/ssrcoq src/ssreflect.cmx" "src/ssreflect.cmx" bin/ssrcoq

 

    src/ssreflect.ml

 

4. and change

 

    SSRCOQ = bin/ssrcoq

 

    to

 

    SSRCOQ = coqtop.exe

 

    in the file 'Make'.

 

5. execute the following three commands.

 

    coq_makefile.exe -f Make -o Makefile

 

    make

 

    make install

 

----------------

 

Cheers,

Chung-Kil Hur