summaryrefslogtreecommitdiff
path: root/development/camlp5/camlp5.SlackBuild
diff options
context:
space:
mode:
authorPanagiotis Nikolaou <panos.mdma@gmail.com>2014-07-14 06:54:33 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2014-07-16 18:26:45 +0700
commit04dc6af242e3800e2a2d6fac09e5bd3165fb335d (patch)
tree32c30363024fc390d0a7423c094a3a5da0e6eaff /development/camlp5/camlp5.SlackBuild
parent6e02888185276d5c6d22f92af0c0aedd15e4cfab (diff)
downloadslackbuilds-04dc6af242e3800e2a2d6fac09e5bd3165fb335d.tar.gz
development/camlp5: Updated for version 6.11 + new maintainer.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/camlp5/camlp5.SlackBuild')
-rw-r--r--development/camlp5/camlp5.SlackBuild14
1 files changed, 8 insertions, 6 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild
index f614ae5b3a..76e153cc35 100644
--- a/development/camlp5/camlp5.SlackBuild
+++ b/development/camlp5/camlp5.SlackBuild
@@ -3,9 +3,10 @@
# Slackware build script for camlp5
# Written by adaptr (jeroen@adaptr.nl)
+# Rewrite for updated camlp5 (panos.mdma@gmail.com)
PRGNAM=camlp5
-VERSION=${VERSION:-6.02.3}
+VERSION=${VERSION:-6.11}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@@ -46,10 +47,10 @@ tar xvf $CWD/$PRGNAM-$VERSION.tgz
cd $PRGNAM-$VERSION
chown -R root:root .
find -L . \
- \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 -o -perm 511 \) \
- -exec chmod 755 {} \; -o \
- \( -perm 666 -o -perm 664 -o -perm 600 -o -perm 444 -o -perm 440 -o -perm 400 \) \
- -exec chmod 644 {} \;
+ \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \
+ -o -perm 511 \) -exec chmod 755 {} \; -o \
+ \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \
+ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \;
## libdir must be under the ocaml install dir!
./configure \
@@ -58,7 +59,8 @@ find -L . \
make world.opt
make install DESTDIR=$PKG
-find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \
+
+find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \
| cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
find $PKG/usr/man -type f -exec gzip -9 {} \;