diff options
Diffstat (limited to 'development/menhir/menhir.SlackBuild')
| -rw-r--r-- | development/menhir/menhir.SlackBuild | 6 |
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 |