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 | |
| 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.
| -rw-r--r-- | README.win | 44 | ||||
| -rw-r--r-- | dev/build/windows/makecoq_mingw.sh | 1 |
2 files changed, 0 insertions, 45 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. diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh index bfc7ce4dd1..52b158871b 100644 --- a/dev/build/windows/makecoq_mingw.sh +++ b/dev/build/windows/makecoq_mingw.sh @@ -1029,7 +1029,6 @@ function copy_coq_license { install -D plugins/micromega/LICENSE.sos $PREFIXCOQ/license_readme/coq/LicenseMicromega.txt install -D README $PREFIXCOQ/license_readme/coq/ReadMe.txt || true install -D README.md $PREFIXCOQ/license_readme/coq/ReadMe.md || true - install -D README.win $PREFIXCOQ/license_readme/coq/ReadMeWindows.txt install -D README.doc $PREFIXCOQ/license_readme/coq/ReadMeDoc.txt install -D CHANGES $PREFIXCOQ/license_readme/coq/Changes.txt install -D INSTALL $PREFIXCOQ/license_readme/coq/Install.txt |