diff options
| author | David Spencer <idlemoor@slackbuilds.org> | 2016-01-09 21:34:18 +0000 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2016-01-10 21:34:39 -0600 |
| commit | cd5ad874c9a9c166def5eecf4a9d36c0cc9b2034 (patch) | |
| tree | a502f866255182f9971b30344a66a979e4a3e53e /development/menhir/menhir.SlackBuild | |
| parent | e10a9ed72f2cf23f7dc2de89815c8640a9f4c6c6 (diff) | |
| download | slackbuilds-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.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 |