Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-10-01 06:32:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

development/menhir: Install menhirLib to $PKG.

Browse source 
Also use -j1 in SlackBuild.

Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
This commit is contained in:
David Spencer 2016-01-09 21:34:18 +00:00 committed by Robby Workman
parent e10a9ed72f
commit cd5ad874c9
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
development/menhir/menhir.SlackBuild
View file

@ -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