diff options
| author | David Spencer <baildon.research@googlemail.com> | 2016-07-12 19:12:36 +0100 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2016-07-20 14:20:08 -0500 |
| commit | cc2894e499256f742406f4724575c4db69d4d24d (patch) | |
| tree | 25416911a9ebd4c14d8c619e42a52d767b2c1182 /development/camlp4/camlp4.SlackBuild | |
| parent | 6a24279af492fc26f08a5f950ee33ae7f3c6787c (diff) | |
development/camlp4: Depend on ocamlbuild, install meta file.
Signed-off-by: David Spencer <baildon.research@googlemail.com>
Diffstat (limited to 'development/camlp4/camlp4.SlackBuild')
| -rw-r--r-- | development/camlp4/camlp4.SlackBuild | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/development/camlp4/camlp4.SlackBuild b/development/camlp4/camlp4.SlackBuild index 79c8f20888497..932c6d73fc723 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 |