diff options
Diffstat (limited to 'development/camlp4')
| -rw-r--r-- | development/camlp4/camlp4.SlackBuild | 2 | ||||
| -rw-r--r-- | development/camlp4/camlp4.info | 2 |
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" |