summaryrefslogtreecommitdiff
path: root/academic/sage/sage.SlackBuild
diff options
context:
space:
mode:
authorWilly Sudiarto Raharjo <willysr@slackbuilds.org>2015-12-19 16:32:22 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2015-12-19 16:32:22 +0700
commitda160fb91b16f172e554746ad13ff56a3b1c1f1f (patch)
treee0d5b7d413ecad3929127bfb6155b6df08253639 /academic/sage/sage.SlackBuild
parente40b09091822e15c64784cfcf530398631b22763 (diff)
downloadslackbuilds-da160fb91b16f172e554746ad13ff56a3b1c1f1f.tar.gz
academic/sage: Updated for version 6.10.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/sage/sage.SlackBuild')
-rw-r--r--academic/sage/sage.SlackBuild16
1 files changed, 1 insertions, 15 deletions
diff --git a/academic/sage/sage.SlackBuild b/academic/sage/sage.SlackBuild
index 2e597de8c5..3baf26f058 100644
--- a/academic/sage/sage.SlackBuild
+++ b/academic/sage/sage.SlackBuild
@@ -23,7 +23,7 @@
# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
PRGNAM=sage
-VERSION=${VERSION:-6.8}
+VERSION=${VERSION:-6.10}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@@ -92,20 +92,6 @@ rm -rf $PKG/$SAGEROOT/{upstream,logs}
find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | grep ELF \
| cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
-# Sage installs specific versions of a number of software components which
-# may be different from the system-wide versions of those components. For
-# this reason, the man and info pages are not moved to /usr/man and
-# /usr/info. To avoid possible conflicts, they are compressed in place.
-find $PKG/$SAGEROOT/local/man -type f -exec gzip -9 {} \;
-for i in $( find $PKG/$SAGEROOT/local/man -type l ) ; do
- ln -s $( readlink $i ).gz $i.gz ; rm $i
-done
-find $PKG/$SAGEROOT/local/share/man -type f -exec gzip -9 {} \;
-for i in $( find $PKG/$SAGEROOT/local/share/man -type l ) ; do
- ln -s $( readlink $i ).gz $i.gz ; rm $i
-done
-gzip -9 $PKG/$SAGEROOT/local/share/info/*.info*
-
# Add profile scripts
sed "s%SAGEROOT%${SAGEROOT}%" $CWD/profile.d/sage.sh > $PKG/etc/profile.d/sage.sh
sed "s%SAGEROOT%${SAGEROOT}%" $CWD/profile.d/sage.csh > $PKG/etc/profile.d/sage.csh