summaryrefslogtreecommitdiff
path: root/development/menhir
diff options
context:
space:
mode:
authorDavid Spencer <idlemoor@slackbuilds.org>2016-03-28 21:16:13 +0100
committerDavid Spencer <idlemoor@slackbuilds.org>2016-03-31 12:48:02 +0100
commit709c5dbfd6efc3b98761034895cc8d472932dde0 (patch)
treec62717c758d0aa7bdfe5152efcd2a1d27e0696d1 /development/menhir
parent9aabd52ef306ab9ff672fc28f8d9864d3090f4be (diff)
downloadslackbuilds-709c5dbfd6efc3b98761034895cc8d472932dde0.tar.gz
development/menhir: Fix embedded path in menhir binary.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'development/menhir')
-rw-r--r--development/menhir/menhir.SlackBuild4
1 files changed, 2 insertions, 2 deletions
diff --git a/development/menhir/menhir.SlackBuild b/development/menhir/menhir.SlackBuild
index d3e4251ab5..e8419de9d4 100644
--- a/development/menhir/menhir.SlackBuild
+++ b/development/menhir/menhir.SlackBuild
@@ -72,14 +72,14 @@ find -L . \
\( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \
-o -perm 511 \) -exec chmod 755 {} \; -o \
\( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \
- -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \;
+ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \;
# fix doc and man page path
sed -i -e 's/share\/doc/doc\//' -e 's/share\/man/man\//' Makefile
CFLAGS="$SLKCFLAGS" \
CXXFLAGS="$SLKCFLAGS" \
-make -j1 PREFIX=$PKG/usr all
+make -j1 PREFIX=/usr all
make install PREFIX=$PKG/usr
# "Installing MenhirLib via ocamlfind" ignores PREFIX= :-(