development/camlp5: Updated for version 7.10.

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
This commit is contained in:
Panagiotis Nikolaou 2020-01-12 00:57:12 +07:00 committed by Willy Sudiarto Raharjo
parent 30c3dcbcc4
commit 4cd5fe026c
No known key found for this signature in database
GPG key ID: 887B8374D7333381
2 changed files with 6 additions and 6 deletions

View file

@ -19,8 +19,8 @@
# Rewrite for updated camlp5 Panagiotis Nikolaou, Culver City, CA # Rewrite for updated camlp5 Panagiotis Nikolaou, Culver City, CA
PRGNAM=camlp5 PRGNAM=camlp5
VERSION=${VERSION:-7.05} VERSION=${VERSION:-7.10}
SRCVER=rel705 SRCVER=rel710
BUILD=${BUILD:-1} BUILD=${BUILD:-1}
TAG=${TAG:-_SBo} TAG=${TAG:-_SBo}
@ -81,7 +81,7 @@ find $PKG/usr/man -type f -exec gzip -9 {} \;
for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
cp -a CHANGES INSTALL LICENSE MODE README $PKG/usr/doc/$PRGNAM-$VERSION/ cp -a CHANGES LICENSE MODE README.md $PKG/usr/doc/$PRGNAM-$VERSION/
## Build TeX, PS, PDF, TeXinfo and HTML Documentation ## Build TeX, PS, PDF, TeXinfo and HTML Documentation
cd doc/htmlp cd doc/htmlp

View file

@ -1,8 +1,8 @@
PRGNAM="camlp5" PRGNAM="camlp5"
VERSION="7.05" VERSION="7.10"
HOMEPAGE="https://camlp5.github.io/" HOMEPAGE="https://camlp5.github.io/"
DOWNLOAD="https://github.com/camlp5/camlp5/archive/rel705/camlp5-rel705.tar.gz" DOWNLOAD="https://github.com/camlp5/camlp5/archive/rel710/camlp5-rel710.tar.gz"
MD5SUM="cf9d909191711afb1b634f75acbe1cfe" MD5SUM="1c396142b981c5af1af7470bb23bf0ce"
DOWNLOAD_x86_64="" DOWNLOAD_x86_64=""
MD5SUM_x86_64="" MD5SUM_x86_64=""
REQUIRES="ocaml" REQUIRES="ocaml"