diff options
Diffstat (limited to 'development/menhir')
-rw-r--r-- | development/menhir/README | 3 | ||||
-rw-r--r-- | development/menhir/menhir.SlackBuild | 46 | ||||
-rw-r--r-- | development/menhir/menhir.info | 8 |
3 files changed, 31 insertions, 26 deletions
diff --git a/development/menhir/README b/development/menhir/README index c23cf7d8a3..3e017c74e1 100644 --- a/development/menhir/README +++ b/development/menhir/README @@ -1,2 +1,3 @@ Menhir is a LR(1) parser generator for the OCaml programming language. -That is, Menhir compiles LR(1) grammar specifications down to OCaml code. +That is, Menhir compiles LR(1) grammar specifications down to OCaml +code. diff --git a/development/menhir/menhir.SlackBuild b/development/menhir/menhir.SlackBuild index 094a29eba9..6eff347741 100644 --- a/development/menhir/menhir.SlackBuild +++ b/development/menhir/menhir.SlackBuild @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Slackware build script for menhir @@ -22,10 +22,13 @@ # OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +cd $(dirname $0) ; CWD=$(pwd) + PRGNAM=menhir -VERSION=${VERSION:-20170101} +VERSION=${VERSION:-20220210} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} +PKGTYPE=${PKGTYPE:-tgz} if [ -z "$ARCH" ]; then case "$( uname -m )" in @@ -35,7 +38,14 @@ if [ -z "$ARCH" ]; then esac fi -CWD=$(pwd) +# If the variable PRINT_PACKAGE_NAME is set, then this script will report what +# the name of the created package would be, and then exit. This information +# could be useful to other scripts. +if [ ! -z "${PRINT_PACKAGE_NAME}" ]; then + echo "$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.$PKGTYPE" + exit 0 +fi + TMP=${TMP:-/tmp/SBo} PKG=$TMP/package-$PRGNAM OUTPUT=${OUTPUT:-/tmp} @@ -56,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 . \ @@ -74,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 @@ -93,7 +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 -cp -a AUTHORS CHANGES INSTALLATION LICENSE manual.pdf $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 LICENSE $PKG/usr/doc/$PRGNAM-$VERSION cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild mkdir -p $PKG/install @@ -101,4 +105,4 @@ cat $CWD/slack-desc > $PKG/install/slack-desc cat $CWD/doinst.sh > $PKG/install/doinst.sh cd $PKG -/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.${PKGTYPE:-tgz} +/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.$PKGTYPE diff --git a/development/menhir/menhir.info b/development/menhir/menhir.info index 1926acc370..dbd473b480 100644 --- a/development/menhir/menhir.info +++ b/development/menhir/menhir.info @@ -1,10 +1,10 @@ PRGNAM="menhir" -VERSION="20170101" +VERSION="20220210" HOMEPAGE="http://cristal.inria.fr/~fpottier/menhir/" -DOWNLOAD="http://cristal.inria.fr/~fpottier/menhir/menhir-20170101.tar.gz" -MD5SUM="78128bc6935d7c40d5da919c502678c0" +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" +REQUIRES="dune ocaml-findlib" MAINTAINER="Dimitris Zlatanidis" EMAIL="d.zlatanidis@gmail.com" |