diff options
author | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2015-12-19 16:32:22 +0700 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2015-12-19 16:32:22 +0700 |
commit | da160fb91b16f172e554746ad13ff56a3b1c1f1f (patch) | |
tree | e0d5b7d413ecad3929127bfb6155b6df08253639 /academic/sage/sage.SlackBuild | |
parent | e40b09091822e15c64784cfcf530398631b22763 (diff) | |
download | slackbuilds-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.SlackBuild | 16 |
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 |