diff options
| author | David Spencer <idlemoor@slackbuilds.org> | 2016-03-28 21:16:13 +0100 |
|---|---|---|
| committer | David Spencer <idlemoor@slackbuilds.org> | 2016-03-31 12:48:02 +0100 |
| commit | 709c5dbfd6efc3b98761034895cc8d472932dde0 (patch) | |
| tree | c62717c758d0aa7bdfe5152efcd2a1d27e0696d1 | |
| parent | 9aabd52ef306ab9ff672fc28f8d9864d3090f4be (diff) | |
development/menhir: Fix embedded path in menhir binary.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
| -rw-r--r-- | development/menhir/menhir.SlackBuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/development/menhir/menhir.SlackBuild b/development/menhir/menhir.SlackBuild index d3e4251ab5bb8..e8419de9d40b3 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= :-( |