diff options
Diffstat (limited to 'academic/coq/coq.SlackBuild')
| -rw-r--r-- | academic/coq/coq.SlackBuild | 11 |
1 files changed, 3 insertions, 8 deletions
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 |