aboutsummaryrefslogtreecommitdiff
path: root/development/camlp5/camlp5.SlackBuild
diff options
context:
space:
mode:
Diffstat (limited to 'development/camlp5/camlp5.SlackBuild')
-rw-r--r--development/camlp5/camlp5.SlackBuild34
1 files changed, 18 insertions, 16 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