You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If you have questions on the Coq Platform, please contact us on zulip chat [Coq-Platform & users](https://coq.zulipchat.com/#narrow/stream/250632-Coq-Platform.20devs.20.26.20users)
@@ -72,8 +72,10 @@ The Coq Platform team does no double check this information.
72
72
## Changes in 2022.01.0
73
73
74
74
- release package pick for Coq 8.14.0 + updated mostly compatible package pick for Coq 8.13.2
75
-
- preview package pick for Coq 8.15.0
75
+
- beta package pick for Coq 8.15.0
76
+
- added coq-hammer (not on Windows) including the provers `z3` and `eprover`
76
77
- added prime number certificate generator `coq-coqprime-generator` including `gmp-ecm`
78
+
- disabled QuickChick on Windows (it did not really work on Windows - we try to make it work in the next release)
77
79
78
80
## Changes in 2021.09.0
79
81
@@ -155,7 +157,7 @@ You can list the available switches with:
Copy file name to clipboardexpand all lines: doc/README_Linux.md
+4-4
Original file line number
Diff line number
Diff line change
@@ -79,15 +79,15 @@ This method is intended for experienced users, who may want to use opam to insta
79
79
- OpenSuse: sudo zypper in -t pattern devel_C_C++
80
80
- For CentOS and possibly RHEL some additional steps are required, see [CentOS](#centos) below.
81
81
- Get the Coq Platform scripts via either of these methods
82
-
- Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2021.09.0.zip`.
83
-
- Users which intend to contribute to Coq Platform should use `git clone --branch 2021.09.0 https://github.com/coq/platform.git`.
82
+
- Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2022.01.0.zip`.
83
+
- Users which intend to contribute to Coq Platform should use `git clone --branch 2022.01.0 https://github.com/coq/platform.git`.
84
84
- Open a shell, navigate to the download folder and execute `coq_platform_make.sh`.
85
85
- The system will ask for sudo permissions to install prerequisites *several times* so the script is not fully unattended but all installations of dependencies are done directly after the initialization of the opam switch.
86
86
- In case the script aborts e.g. cause of internet issues, just rerun the script.
87
-
- The script creates a new opam switch named e.g. __coq-platform.2021.09.0~8.13 - the exact name depends on the Coq version and package pick you selected.
87
+
- The script creates a new opam switch named e.g. __coq-platform.2022.01.0~8.14~2022.01 - the exact name depends on the Coq version and package pick you selected.
88
88
This means the script does not touch your existing opam setup unless you already have a switch of this name.
89
89
- Use the following commands to activate this switch after opening a new shell:
90
-
-`opam switch __coq-platform.2021.09.0~8.13` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
90
+
-`opam switch __coq-platform.2022.01.0~8.14~2022.01` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
91
91
-`eval $(opam env)`
92
92
- The second step can be automated by rerunning `opam init`
93
93
- The main opam repositories for Coq and OCaml developments are already added to the created opam switch, so it should be easy to install additional Coq (or OCaml) packages.
Copy file name to clipboardexpand all lines: doc/README_Windows.md
+9-9
Original file line number
Diff line number
Diff line change
@@ -19,8 +19,8 @@ This method is intended for experienced users, who may want to use opam to insta
19
19
20
20
- In case you install **Coq Platform for the first time**:
21
21
- Get the Coq Platform scripts via either of these methods
22
-
- Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2021.09.0.zip`.
23
-
- Users which intend to contribute to Coq Platform should use `git clone --branch 2021.09.0 https://github.com/coq/platform.git`.
22
+
- Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2022.01.0.zip`.
23
+
- Users which intend to contribute to Coq Platform should use `git clone --branch 2022.01.0 https://github.com/coq/platform.git`.
24
24
Please note that the scripts are CR/LF sensitive, so if you use a Windows git client (not a Cygwin git) you should set `git config --global core.autocrlf false` - which is anyway a good idea.
25
25
- Open a DOS command window, navigate to the download folder and execute `coq_platform_make_windows.bat`.
26
26
- This will ask for the Cygwin installation path and setup a fresh Cygwin as build host (the created Coq is MinGW and runs without Cygwin).
@@ -31,25 +31,25 @@ This method is intended for experienced users, who may want to use opam to insta
31
31
- Start a cygwin shell via `C:\<your_coq_platform_Cygwin_path>\Cygwin.bat`
- Run the main Coq Platform installation script `coq_platform_make.sh`
44
44
- The script will ask a few questions if no parameters are given and then run fully unattended.
45
45
- The build time is between 1..5 hours, depending on CPU speed and RAM size.
46
46
- In case the script aborts e.g. cause of internet issues, just rerun the batch file - it won't install Cygwin again (assuming you specify the same Cygwin destination folder).
47
47
- The script has various options for configuring paths and proxies; see `example_coq_platform_make.bat` for an example command line.
48
48
- The resulting Coq installation is opam based and best used from the Cygwin prompt (started via `C:\<your_coq_platform_Cygwin_path>\Cygwin.bat`)
49
-
- The script creates a new opam switch named e.g. __coq-platform.2021.09.0~8.13 - the exact name depends on the Coq version and package pick you selected you selected.
49
+
- The script creates a new opam switch named e.g. __coq-platform.2022.01.0~8.14~2022.01 - the exact name depends on the Coq version and package pick you selected you selected.
50
50
This means the script does not touch your existing opam setup unless you already have a switch of this name.
51
51
- Use the following commands at the Cygwin prompt to activate this switch after opening a new shell:
52
-
-`opam switch __coq-platform.2021.09.0~8.13` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
52
+
-`opam switch __coq-platform.2022.01.0~8.14~2022.01` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
53
53
-`eval $(opam env)`
54
54
- The second step can be automated by rerunning `opam init`
55
55
- The main opam repositories for Coq and OCaml developments are already added to the created opam switch, so it should be easy to install additional Coq (or OCaml) packages.
Copy file name to clipboardexpand all lines: doc/README_macOS.md
+6-6
Original file line number
Diff line number
Diff line change
@@ -12,12 +12,12 @@ In case you want to use the fast path:
12
12
13
13
- Download the DMG package from https://github.com/coq/platform/releases (click on "Assets" at the end of a release section).
14
14
- Open the downloaded DMG package with a double click.
15
-
- Drag and drop the "Coq_Platform_2021.09.0.app" icon on the link to the "Applications" folder.
15
+
- Drag and drop the "Coq_Platform_2022.01.0.app" icon on the link to the "Applications" folder.
16
16
- CoqIDE appears under `/Applications` in Finder and in Launcher.
17
17
- Beta releases of Coq Platform might contain unsigned packages, which macOS does not start by default. In case you get an error message
18
18
stating "Coq_Platform.app cannot be opened because the developer cannot be verified" either download a release package, or alternatively
19
19
right click the `Coq_Platform` app in `/Applications` in Finder and select `open`. You will see the same error message as before, but it will have an `Open` button now.
20
-
- In case you want to use the installed `coqc` from the command line, please add the folder `/Applications/Coq_Platform_2021.09.0.app/Contents/Resources/bin` to your `PATH`.
20
+
- In case you want to use the installed `coqc` from the command line, please add the folder `/Applications/Coq_Platform_2022.01.0.app/Contents/Resources/bin` to your `PATH`.
21
21
- If you want to inspect the installed content, right click the `Coq_Platform` app in `/Applications` in Finder and select `Show Package Contents`.
22
22
23
23
A note to lecturers: it is easy to create a customized Windows installer from an opam switch - see [Customized Installers](#customized-installers)
@@ -33,15 +33,15 @@ This method is intended for experienced users, who may want to use opam to insta
33
33
- If you have neither Homebrew nor MacPorts installed, read the section [Homebrew and MacPorts](#homebrew-and-macports) below.
34
34
- If you have Homebrew installed, read the section [Homebrew issues and workarounds](#homebrew-issues-and-workarounds) below.
35
35
- Get the Coq Platform scripts via either of these methods
36
-
- Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2021.09.0.zip`.
37
-
- Users which intend to contribute to Coq Platform should use `git clone --branch 2021.09.0 https://github.com/coq/platform.git`.
36
+
- Most users should download and extract `https://github.com/coq/platform/archive/refs/tags/2022.01.0.zip`.
37
+
- Users which intend to contribute to Coq Platform should use `git clone --branch 2022.01.0 https://github.com/coq/platform.git`.
38
38
- Open a shell, navigate to the download folder and execute `coq_platform_make.sh`.
39
39
- If you are using MacPorts, the system will ask once for sudo permissions to install prerequisites after installing OCaml (5..20 minutes after script start).
40
40
- In case the script aborts e.g. cause of internet issues, just rerun the script.
41
-
- The script creates a new opam switch named e.g. __coq-platform.2021.09.0~8.13 - the exact name depends on the Coq version and package pick you selected.
41
+
- The script creates a new opam switch named e.g. __coq-platform.2022.01.0~8.14~2022.01 - the exact name depends on the Coq version and package pick you selected.
42
42
This means the script does not touch your existing opam setup unless you already have a switch of this name.
43
43
- Use the following commands to activate this switch after opening a new shell:
44
-
-`opam switch __coq-platform.2021.09.0~8.13` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
44
+
-`opam switch __coq-platform.2022.01.0~8.14~2022.01` (note: the switch name might vary if you choose a different version of Coq - please use `opam switch` to see a list of switch names)
45
45
-`eval $(opam env)`
46
46
- The second step can be automated by rerunning `opam init`
47
47
- The main opam repositories for Coq and OCaml developments are already added to the created opam switch, so it should be easy to install additional Coq (or OCaml) packages.
0 commit comments