diff options
Diffstat (limited to 'development')
| -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 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= :-( |