diff options
| author | William Bowman <wilbowma@indiana.edu> | 2011-08-05 09:05:33 -0300 |
|---|---|---|
| committer | Niels Horn <niels.horn@slackbuilds.org> | 2011-08-05 09:05:33 -0300 |
| commit | 76f24b37e8348f8e1cd835b72fb5a8372786d229 (patch) | |
| tree | 85961ed980c590a8e073376d2b6ca68f9d738afc /development | |
| parent | db90725c43f1abf6162f8fe666d439dc30156245 (diff) | |
| download | slackbuilds-76f24b37e8348f8e1cd835b72fb5a8372786d229.tar.gz | |
development/camlp5: Updated for version 6.02.3 (+new maintainer)
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
Diffstat (limited to 'development')
| -rw-r--r-- | development/camlp5/camlp5.SlackBuild | 5 | ||||
| -rw-r--r-- | development/camlp5/camlp5.info | 10 |
2 files changed, 6 insertions, 9 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild index c1ba12a559..ac53cc3cde 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 97d2776ec2..64b8556fc0 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" |