aboutsummaryrefslogtreecommitdiff
path: root/development/camlp5
diff options
context:
space:
mode:
authorWilliam Bowman <wilbowma@indiana.edu>2011-08-05 09:05:33 -0300
committerNiels Horn <niels.horn@slackbuilds.org>2011-08-05 09:05:33 -0300
commit76f24b37e8348f8e1cd835b72fb5a8372786d229 (patch)
tree85961ed980c590a8e073376d2b6ca68f9d738afc /development/camlp5
parentdb90725c43f1abf6162f8fe666d439dc30156245 (diff)
development/camlp5: Updated for version 6.02.3 (+new maintainer)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'development/camlp5')
-rw-r--r--development/camlp5/camlp5.SlackBuild5
-rw-r--r--development/camlp5/camlp5.info10
2 files changed, 6 insertions, 9 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild
index c1ba12a559873..ac53cc3cde88e 100644
--- a/development/camlp5/camlp5.SlackBuild
+++ b/development/camlp5/camlp5.SlackBuild
@@ -5,7 +5,7 @@
# Written by adaptr (jeroen@adaptr.nl)
PRGNAM=camlp5
-VERSION=${VERSION:-6.01}
+VERSION=${VERSION:-6.02.3}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@@ -56,7 +56,6 @@ find . \
--prefix /usr \
--libdir /usr/lib${LIBDIRSUFFIX}/ocaml
-# Compile the application and install it into the $PKG directory
make world.opt
make install DESTDIR=$PKG
find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \
@@ -65,7 +64,6 @@ find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \
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
-## Copy ancillary documents
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
cp -a CHANGES INSTALL LICENSE MODE README $PKG/usr/doc/$PRGNAM-$VERSION/
@@ -84,7 +82,6 @@ cd ..
cp -a html $PKG/usr/doc/$PRGNAM-$VERSION/
cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
-# Copy the slack-desc (and a custom doinst.sh if necessary) into ./install
mkdir -p $PKG/install
cat $CWD/slack-desc > $PKG/install/slack-desc
diff --git a/development/camlp5/camlp5.info b/development/camlp5/camlp5.info
index 97d2776ec2bbf..64b8556fc05d1 100644
--- a/development/camlp5/camlp5.info
+++ b/development/camlp5/camlp5.info
@@ -1,10 +1,10 @@
PRGNAM="camlp5"
-VERSION="6.01"
+VERSION="6.02.3"
HOMEPAGE="http://pauillac.inria.fr/~ddr/camlp5/"
-DOWNLOAD="http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-6.01.tgz"
-MD5SUM="9afd1eea5f18c568d08cf2335094a905"
+DOWNLOAD="http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-6.02.3.tgz"
+MD5SUM="a4f5e0dc13c43d50eb655c8e929f556e"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
-MAINTAINER="adaptr"
-EMAIL="jeroen@adaptr.nl"
+MAINTAINER="William Bowman"
+EMAIL="wilbowma@indiana.edu"
APPROVED="Niels Horn"