diff options
| author |   Matteo Bernardini | 2022-02-24 22:14:41 +0100 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo | 2022-02-25 16:58:09 +0100 |
| commit | 6a37a4b4b61e6c0d9df23056e4cbc0b5e6f104ec (patch) | |
| tree | 3b0033e81f3485054025c0412f3330f9588a6447 /development/menhir | |
| parent | dea2fbb1cdf962e837e498d92e48daeab1bd4139 (diff) | |
| download | slackbuilds-6a37a4b4b61e6c0d9df23056e4cbc0b5e6f104ec.tar.gz | |
development/menhir: Updated for version 20220210.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/menhir')
| -rw-r--r-- | development/menhir/menhir.SlackBuild | 30 | ||||
| -rw-r--r-- | development/menhir/menhir.info | 6 |
2 files changed, 14 insertions, 22 deletions
diff --git a/development/menhir/menhir.SlackBuild b/development/menhir/menhir.SlackBuild index 801bcf79d5..6eff347741 100644 --- a/development/menhir/menhir.SlackBuild +++ b/development/menhir/menhir.SlackBuild @@ -25,7 +25,7 @@ cd $(dirname $0) ; CWD=$(pwd) PRGNAM=menhir -VERSION=${VERSION:-20190924} +VERSION=${VERSION:-20220210} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} PKGTYPE=${PKGTYPE:-tgz} @@ -66,16 +66,16 @@ fi set -e -# Fixed already installed menhirlib from findlib -# This is needed for reinstallation/upgrade process -cd /usr/lib${LIBDIRSUFFIX}/ocaml/site-lib/ -rm -rf menhirLib +## Fixed already installed menhirlib from findlib +## This is needed for reinstallation/upgrade process +#cd /usr/lib${LIBDIRSUFFIX}/ocaml/site-lib/ +#rm -rf menhirLib rm -rf $PKG mkdir -p $TMP $PKG $OUTPUT cd $TMP rm -rf $PRGNAM-$VERSION -tar xvf $CWD/$PRGNAM-$VERSION.tar.gz +tar xvf $CWD/$PRGNAM-$VERSION.tar.bz2 cd $PRGNAM-$VERSION chown -R root:root . find -L . \ @@ -84,17 +84,8 @@ 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 {} \; -# fix doc and man page path -sed -i -e 's/share\/doc/doc\//' -e 's/share\/man/man\//' Makefile - -CFLAGS="$SLKCFLAGS" \ -CXXFLAGS="$SLKCFLAGS" \ -make -j1 PREFIX=/usr all -make install PREFIX=$PKG/usr - -# "Installing MenhirLib via ocamlfind" ignores PREFIX= :-( -mkdir -p $PKG/usr/lib${LIBDIRSUFFIX}/ocaml/site-lib -mv /usr/lib${LIBDIRSUFFIX}/ocaml/site-lib/menhirLib $PKG/usr/lib${LIBDIRSUFFIX}/ocaml/site-lib/ +dune build +dune install --prefix=$PKG/usr --libdir=lib$LIBDIRSUFFIX/ocaml find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true @@ -103,9 +94,10 @@ find $PKG/usr/man -type f -exec gzip -9 {} \; for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION -mv $PKG/usr/doc/$PRGNAM/* $PKG/usr/doc/$PRGNAM-$VERSION/ +( cd $PKG/usr/doc + mv $PRGNAM/* coq-menhirlib menhirLib menhirSdk $PKG/usr/doc/$PRGNAM-$VERSION/ ) rm -fR $PKG/usr/doc/$PRGNAM -cp -a *.md LICENSE $PKG/usr/doc/$PRGNAM-$VERSION +cp -a LICENSE $PKG/usr/doc/$PRGNAM-$VERSION cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild mkdir -p $PKG/install diff --git a/development/menhir/menhir.info b/development/menhir/menhir.info index 5ce37a9367..9742abbaf6 100644 --- a/development/menhir/menhir.info +++ b/development/menhir/menhir.info @@ -1,8 +1,8 @@ PRGNAM="menhir" -VERSION="20190924" +VERSION="20220210" HOMEPAGE="http://cristal.inria.fr/~fpottier/menhir/" -DOWNLOAD="https://gitlab.inria.fr/fpottier/menhir/-/archive/20190924/menhir-20190924.tar.gz" -MD5SUM="69b2cbcfb12ca0ca09ad0096c8716265" +DOWNLOAD="https://gitlab.inria.fr/fpottier/menhir/-/archive/20220210/menhir-20220210.tar.bz2" +MD5SUM="f7acec111c74555fdb1f2623183e30a2" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="ocamlbuild ocaml-findlib" |