summaryrefslogtreecommitdiff
path: root/development
diff options
context:
space:
mode:
authorDavid Spencer <baildon.research@googlemail.com>2016-07-12 19:12:36 +0100
committerRobby Workman <rworkman@slackbuilds.org>2016-07-20 14:20:08 -0500
commitcc2894e499256f742406f4724575c4db69d4d24d (patch)
tree25416911a9ebd4c14d8c619e42a52d767b2c1182 /development
parent6a24279af492fc26f08a5f950ee33ae7f3c6787c (diff)
downloadslackbuilds-cc2894e499256f742406f4724575c4db69d4d24d.tar.gz
development/camlp4: Depend on ocamlbuild, install meta file.
Signed-off-by: David Spencer <baildon.research@googlemail.com>
Diffstat (limited to 'development')
-rw-r--r--development/camlp4/camlp4.SlackBuild2
-rw-r--r--development/camlp4/camlp4.info2
2 files changed, 3 insertions, 1 deletions
diff --git a/development/camlp4/camlp4.SlackBuild b/development/camlp4/camlp4.SlackBuild
index 79c8f20888..932c6d73fc 100644
--- a/development/camlp4/camlp4.SlackBuild
+++ b/development/camlp4/camlp4.SlackBuild
@@ -80,6 +80,8 @@ find -L . \
make -j1 all
make -j1 install DESTDIR=$PKG
+make -j1 camlp4/META
+make -j1 install-META PKGDIR=$PKG/usr/lib$LIBDIRSUFFIX/ocaml/site-lib
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
diff --git a/development/camlp4/camlp4.info b/development/camlp4/camlp4.info
index 533f876cb4..f7192e0340 100644
--- a/development/camlp4/camlp4.info
+++ b/development/camlp4/camlp4.info
@@ -5,6 +5,6 @@ DOWNLOAD="https://github.com/ocaml/camlp4/archive/4.03+1.tar.gz"
MD5SUM="65ece8d2c8f4b1e06d62323e78759a7c"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
-REQUIRES="ocaml"
+REQUIRES="ocamlbuild"
MAINTAINER="Matteo Bernardini"
EMAIL="ponce@slackbuilds.org"