Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-21 19:42:24 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

development/camlp5: Updated for version 8.0.

Browse source 
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Matteo Bernardini 2022-02-24 20:59:16 +01:00 committed by Willy Sudiarto Raharjo
parent 70838d5b28
commit 3eff74a154
No known key found for this signature in database
GPG key ID: 3F617144D7238786
2 changed files with 21 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

34
development/camlp5/camlp5.SlackBuild
View file

@ -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

6
development/camlp5/camlp5.info
View file

@ -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"