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