summaryrefslogtreecommitdiff
path: root/development
diff options
context:
space:
mode:
authorMatteo Bernardini <ponce@slackbuilds.org>2022-02-24 20:59:16 +0100
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2022-02-25 22:58:08 +0700
commit3eff74a1548f2c92e3c760443472a89208c885d9 (patch)
treed04e165d2ad70c273036964c6e4bdeb291d17d30 /development
parent70838d5b28c07d6e051b21ee7b800582cf97039d (diff)
downloadslackbuilds-3eff74a1548f2c92e3c760443472a89208c885d9.tar.gz
development/camlp5: Updated for version 8.0.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development')
-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 07764e16d7..976d936e07 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 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"