diff options
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 e21de9a5fab1e..30daf046e352f 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. |