diff options
| author | dsomero <xgizzmo@slackbuilds.org> | 2013-11-22 02:34:22 -0500 |
|---|---|---|
| committer | dsomero <xgizzmo@slackbuilds.org> | 2013-11-22 02:34:22 -0500 |
| commit | 687c78d5604ce299d5164ffd69de88f2dd10fefc (patch) | |
| tree | 2c3b4dd9491198917e0178dd5a0cf0fa3e6715c8 /academic/coq/coq.SlackBuild | |
| parent | 610e8461bb9b201adbd4bd9257a9bf48be71f62b (diff) | |
| download | slackbuilds-687c78d5604ce299d5164ffd69de88f2dd10fefc.tar.gz | |
various: Fix SlackBuild formatting and comment nit picks.
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
Diffstat (limited to 'academic/coq/coq.SlackBuild')
| -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 fe4011d7d8..d5faa1a56a 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 |