diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2022-02-24 20:59:16 +0100 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-02-25 22:58:08 +0700 |
| commit | 3eff74a1548f2c92e3c760443472a89208c885d9 (patch) | |
| tree | d04e165d2ad70c273036964c6e4bdeb291d17d30 /development/camlp5 | |
| parent | 70838d5b28c07d6e051b21ee7b800582cf97039d (diff) | |
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/camlp5')
| -rw-r--r-- | development/camlp5/camlp5.SlackBuild | 34 | ||||
| -rw-r--r-- | development/camlp5/camlp5.info | 6 |
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" |