summaryrefslogtreecommitdiff
path: root/development/menhir/menhir.SlackBuild
diff options
context:
space:
mode:
authorDavid Spencer <idlemoor@slackbuilds.org>2016-01-09 21:34:18 +0000
committerRobby Workman <rworkman@slackbuilds.org>2016-01-10 21:34:39 -0600
commitcd5ad874c9a9c166def5eecf4a9d36c0cc9b2034 (patch)
treea502f866255182f9971b30344a66a979e4a3e53e /development/menhir/menhir.SlackBuild
parente10a9ed72f2cf23f7dc2de89815c8640a9f4c6c6 (diff)
downloadslackbuilds-cd5ad874c9a9c166def5eecf4a9d36c0cc9b2034.tar.gz
development/menhir: Install menhirLib to $PKG.
Also use -j1 in SlackBuild. Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'development/menhir/menhir.SlackBuild')
-rw-r--r--development/menhir/menhir.SlackBuild6
1 files changed, 5 insertions, 1 deletions
diff --git a/development/menhir/menhir.SlackBuild b/development/menhir/menhir.SlackBuild
index 3bfa610842..d3e4251ab5 100644
--- a/development/menhir/menhir.SlackBuild
+++ b/development/menhir/menhir.SlackBuild
@@ -79,9 +79,13 @@ sed -i -e 's/share\/doc/doc\//' -e 's/share\/man/man\//' Makefile
CFLAGS="$SLKCFLAGS" \
CXXFLAGS="$SLKCFLAGS" \
-make PREFIX=$PKG/usr all
+make -j1 PREFIX=$PKG/usr all
make install PREFIX=$PKG/usr
+# "Installing MenhirLib via ocamlfind" ignores PREFIX= :-(
+mkdir -p $PKG/usr/lib${LIBDIRSUFFIX}/ocaml/site-lib
+mv /usr/lib${LIBDIRSUFFIX}/ocaml/site-lib/menhirLib $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