diff options
Diffstat (limited to 'development/camlp5')
| -rw-r--r-- | development/camlp5/camlp5.SlackBuild | 50 | ||||
| -rw-r--r-- | development/camlp5/camlp5.info | 6 |
2 files changed, 34 insertions, 22 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild index 5362052b8d..976d936e07 100644 --- a/development/camlp5/camlp5.SlackBuild +++ b/development/camlp5/camlp5.SlackBuild @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -18,11 +18,14 @@ # Written by adaptr (jeroen@adaptr.nl) # Rewrite for updated camlp5 Panagiotis Nikolaou, Culver City, CA +cd $(dirname $0) ; CWD=$(pwd) + PRGNAM=camlp5 -VERSION=${VERSION:-7.10} -SRCVER=rel710 +VERSION=${VERSION:-8.0} +SRCVER=rel8.00.02 BUILD=${BUILD:-1} TAG=${TAG:-_SBo} +PKGTYPE=${PKGTYPE:-tgz} if [ -z "$ARCH" ]; then case "$( uname -m )" in @@ -32,7 +35,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} @@ -68,8 +78,10 @@ find -L . \ ## libdir must be under the ocaml install dir! ./configure \ - --prefix /usr \ - --libdir /usr/lib${LIBDIRSUFFIX}/ocaml + -prefix /usr \ + -libdir /usr/lib$LIBDIRSUFFIX/ocaml \ + -mandir /usr/man \ + -strict make world.opt make install DESTDIR=$PKG @@ -83,23 +95,23 @@ 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 LICENSE MODE README.md $PKG/usr/doc/$PRGNAM-$VERSION/ +# docs don't build correcty: revise it later ## Build TeX, PS, PDF, TeXinfo and HTML Documentation -cd doc/htmlp - -# these helpers are chatty; suppress output -make all tex pdf ps info 2> /dev/null -cp -a camlp5.dvi camlp5.ps camlp5.pdf camlp5.tex $PKG/usr/doc/$PRGNAM-$VERSION/ - -mkdir -p $PKG/usr/info -cp -a camlp5.info* $PKG/usr/info/ -gzip -9 $PKG/usr/info/*.info* - -cd .. -cp -a html $PKG/usr/doc/$PRGNAM-$VERSION/ +#cd doc/htmlp +# +#make all tex pdf ps info +#cp -a camlp5.dvi camlp5.ps camlp5.pdf camlp5.tex $PKG/usr/doc/$PRGNAM-$VERSION/ +# +#mkdir -p $PKG/usr/info +#cp -a camlp5.info* $PKG/usr/info/ +#gzip -9 $PKG/usr/info/*.info* +# +#cd .. +#cp -a html $PKG/usr/doc/$PRGNAM-$VERSION/ cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild mkdir -p $PKG/install cat $CWD/slack-desc > $PKG/install/slack-desc 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/camlp5/camlp5.info b/development/camlp5/camlp5.info index 9141974c55..30ea47455b 100644 --- a/development/camlp5/camlp5.info +++ b/development/camlp5/camlp5.info @@ -1,8 +1,8 @@ PRGNAM="camlp5" -VERSION="7.10" +VERSION="8.0" HOMEPAGE="https://camlp5.github.io/" -DOWNLOAD="https://github.com/camlp5/camlp5/archive/rel710/camlp5-rel710.tar.gz" -MD5SUM="1c396142b981c5af1af7470bb23bf0ce" +DOWNLOAD="https://github.com/camlp5/camlp5/archive/rel8.00.02/camlp5-rel8.00.02.tar.gz" +MD5SUM="096076be4b26034643508511e834ccc2" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="ocaml" |