diff options
Diffstat (limited to 'academic/coq')
| -rw-r--r-- | academic/coq/coq.SlackBuild | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/academic/coq/coq.SlackBuild b/academic/coq/coq.SlackBuild index fe4011d7d8b3c..d5faa1a56a7f0 100644 --- a/academic/coq/coq.SlackBuild +++ b/academic/coq/coq.SlackBuild @@ -1,18 +1,18 @@ #!/bin/sh -# +# # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation, either version 3 of the License, or # (at your option) any later version. -# +# # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. -# +# # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. -# +# # Slackware build script for coq # Written by William Bowman (wilbowma@indiana.edu) @@ -65,7 +65,7 @@ find . \ if hash ocamlopt || hash ocamlopt.opt ; then OPT="-opt" -else +else OPT="" fi @@ -73,11 +73,11 @@ fi -prefix /usr \ -libdir /usr/lib${LIBDIRSUFFIX}/coq \ -arch $ARCH \ - $OPT - + $OPT + make world umask 022 -COQINSTALLPREFIX=$PKG make install +COQINSTALLPREFIX=$PKG make install find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true |