diff options
| author | Maxime Dénès | 2016-11-14 14:09:08 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-11-14 14:17:11 +0100 |
| commit | dfefd12ee432e5b0d145934e74bb939ddecfa522 (patch) | |
| tree | 33cf38c68deac1bc08ae98795d8a6af2947cdf4d /README.win | |
| parent | 36fd5ebe558b8a51c2929077bde9f0460c4313c3 (diff) | |
Remove README.win until we come up with new instructions.
The recommended way to install Coq under windows is anyway to use the
precompiled installer.
Diffstat (limited to 'README.win')
| -rw-r--r-- | README.win | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/README.win b/README.win deleted file mode 100644 index 8302a707f6..0000000000 --- a/README.win +++ /dev/null @@ -1,44 +0,0 @@ -THE COQ V8 SYSTEM -================= - - This file contains remarks specific to the windows port of Coq. - -INSTALLATION. -============= - - The Coq package for Windows comes with an auto-installer. It will -install Coq binaries and libraries under any directory you specify -(C:\Coq is the default path). It also creates shortcuts -in the Windows menus. Binaries, like coqc.exe, -are in the bin sub-directory of the installation -(C:\Coq\bin by default). - -COMPILATION. -============ - - If you want to install coq, you had better transfer the precompiled - distribution. If you really need to recompile under Windows, here - are some indications: - - 1- Install cygwin and the wget package - See: http://cygwin.com - - 2- Download and unzip in C:\ the SDK for windows - See: https://coq.inria.fr/distrib/current/files/ - - 3- From the cygwin prompt type - - . /cygdrive/c/CoqSDK-85-1/environ - - The first time the script installs the C toolchain. - - 4- Then Coq can be compiled as follows: - - ./configure -local - make - - 5- To build the installer, type: - - dev/make-installer-win32.sh - - The Coq Team. |