diff options
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 2e597de8c5846..3baf26f05816a 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 |