From cd5ad874c9a9c166def5eecf4a9d36c0cc9b2034 Mon Sep 17 00:00:00 2001 From: David Spencer Date: Sat, 9 Jan 2016 21:34:18 +0000 Subject: development/menhir: Install menhirLib to $PKG. Also use -j1 in SlackBuild. Signed-off-by: David Spencer --- development/menhir/menhir.SlackBuild | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'development/menhir') 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 -- cgit v1.2.3