diff options
| author | Nick Smallbone <nick@smallbone.se> | 2022-01-30 10:16:38 +0100 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-02 11:23:15 +0700 |
| commit | f2ade4af1ba09487164a81a272dd31af0ef3e36f (patch) | |
| tree | 71d6352218feeb708591b6cfdc46e16047a2e96b /academic/coq/README | |
| parent | d8b589c80564a1f9366888a06330d02ec0ccef8a (diff) | |
| download | slackbuilds-f2ade4af1ba09487164a81a272dd31af0ef3e36f.tar.gz | |
academic/coq: Updated for version 8.12.2.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq/README')
| -rw-r--r-- | academic/coq/README | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/academic/coq/README b/academic/coq/README index e21de9a5fa..30daf046e3 100644 --- a/academic/coq/README +++ b/academic/coq/README @@ -3,5 +3,8 @@ to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. -To build CoqIDE, add COQIDE=yes, e.g.: COQIDE=yes ./coq.SlackBuild. -You will need the lablgtk package built with gtksourceview support. +Unfortunately CoqIDE can no longer be built as it requires lablgtk3, +while only lablgtk2 is packaged in Slackware. You can however get +Coq 8.9 with CoqIDE. To do so, run this Slackbuild with VERSION=8.9 +and COQIDE=yes (after getting the Coq 8.9 tarball). You will need to +install the gtksourceview package before building lablgtk. |