summaryrefslogtreecommitdiff
path: root/academic/coq/coq.SlackBuild
diff options
context:
space:
mode:
Diffstat (limited to 'academic/coq/coq.SlackBuild')
-rw-r--r--academic/coq/coq.SlackBuild16
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