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>

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.

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
 

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"