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 | |
| parent | d8b589c80564a1f9366888a06330d02ec0ccef8a (diff) | |
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')
| -rw-r--r-- | academic/coq/README | 7 | ||||
| -rw-r--r-- | academic/coq/coq.SlackBuild | 11 | ||||
| -rw-r--r-- | academic/coq/coq.info | 8 | ||||
| -rw-r--r-- | academic/coq/gpl.txt.gz | bin | 12138 -> 0 bytes |
4 files changed, 12 insertions, 14 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. diff --git a/academic/coq/coq.SlackBuild b/academic/coq/coq.SlackBuild index ac1985a5dcea7..c1454a844d1fc 100644 --- a/academic/coq/coq.SlackBuild +++ b/academic/coq/coq.SlackBuild @@ -2,7 +2,7 @@ # Slackware build script for coq -# Copyright 2020 Nick Smallbone <nick@smallbone.se>, Gothenburg, Sweden +# Copyright 2020-2022 Nick Smallbone <nick@smallbone.se>, Gothenburg, Sweden # All rights reserved. # # Redistribution and use of this script, with or without modification, is @@ -25,7 +25,7 @@ cd $(dirname $0) ; CWD=$(pwd) PRGNAM=coq -VERSION=${VERSION:-8.9.0} +VERSION=${VERSION:-8.12.2} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -75,11 +75,6 @@ find -L . \ \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; -# Configure findlib so it can find camlp5. -cp /etc/findlib.conf . -sed -i "s@path=\"@path=\"/usr/lib${LIBDIRSUFFIX}/ocaml:@" findlib.conf -export OCAMLFIND_CONF=$(pwd)/findlib.conf - CONFIG_ARGS= if [ z$COQIDE = zyes ];then CONFIG_ARGS+=" -coqide opt" @@ -107,7 +102,7 @@ for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; r mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION cp -a \ - CHANGES.md CONTRIBUTING.md CREDITS INSTALL LICENSE README.md \ + CONTRIBUTING.md CREDITS INSTALL.md LICENSE README.md \ $PKG/usr/doc/$PRGNAM-$VERSION cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild diff --git a/academic/coq/coq.info b/academic/coq/coq.info index 93554ae125b58..7803effa6dd1f 100644 --- a/academic/coq/coq.info +++ b/academic/coq/coq.info @@ -1,10 +1,10 @@ PRGNAM="coq" -VERSION="8.9.0" +VERSION="8.12.2" HOMEPAGE="http://coq.inria.fr/" -DOWNLOAD="https://github.com/coq/coq/archive/V8.9.0/coq-8.9.0.tar.gz" -MD5SUM="490c89609c1271fe7f20e6ea1bd107b5" +DOWNLOAD="https://github.com/coq/coq/archive/V8.12.2/coq-8.12.2.tar.gz" +MD5SUM="e6746ce2c527e8f9d69a57dc2f7d41d1" DOWNLOAD_x86_64="" MD5SUM_x86_64="" -REQUIRES="camlp5 ocaml-findlib" +REQUIRES="ocaml-num" MAINTAINER="Nick Smallbone" EMAIL="nick@smallbone.se" diff --git a/academic/coq/gpl.txt.gz b/academic/coq/gpl.txt.gz Binary files differdeleted file mode 100644 index 0ef740a4c7d20..0000000000000 --- a/academic/coq/gpl.txt.gz +++ /dev/null |