aboutsummaryrefslogtreecommitdiff
path: root/development/camlp5
diff options
context:
space:
mode:
Diffstat (limited to 'development/camlp5')
-rw-r--r--development/camlp5/camlp5.SlackBuild34
-rw-r--r--development/camlp5/camlp5.info6
2 files changed, 21 insertions, 19 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild
index 07764e16d778e..976d936e0743a 100644
--- a/development/camlp5/camlp5.SlackBuild
+++ b/development/camlp5/camlp5.SlackBuild
@@ -21,8 +21,8 @@
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}
@@ -78,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
@@ -93,19 +95,19 @@ 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
diff --git a/development/camlp5/camlp5.info b/development/camlp5/camlp5.info
index 9141974c55b90..30ea47455b393 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"