summaryrefslogtreecommitdiff
path: root/development/polyml
diff options
context:
space:
mode:
Diffstat (limited to 'development/polyml')
-rw-r--r--development/polyml/polyml.SlackBuild28
-rw-r--r--development/polyml/polyml.info10
2 files changed, 14 insertions, 24 deletions
diff --git a/development/polyml/polyml.SlackBuild b/development/polyml/polyml.SlackBuild
index f26716aa63..7241630029 100644
--- a/development/polyml/polyml.SlackBuild
+++ b/development/polyml/polyml.SlackBuild
@@ -4,7 +4,7 @@
# Written by Eugene Suter <easuter at gmail.com>
PRGNAM="polyml"
-VERSION=${VERSION:-5.3}
+VERSION=${VERSION:-5.5.2}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@@ -35,7 +35,7 @@ else
LIBDIRSUFFIX=""
fi
-set -e
+set -e
rm -rf $PKG
mkdir -p $TMP $PKG $OUTPUT
@@ -45,10 +45,10 @@ tar xvf $CWD/$PRGNAM.$VERSION.tar.gz
cd $PRGNAM.$VERSION
chown -R root:root .
find -L . \
- \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 -o -perm 511 \) \
- -exec chmod 755 {} \; -o \
- \( -perm 666 -o -perm 664 -o -perm 600 -o -perm 444 -o -perm 440 -o -perm 400 \) \
- -exec chmod 644 {} \;
+ \( -perm 777 -o -perm 775 -o -perm 750 -o -perm 711 -o -perm 555 \
+ -o -perm 511 \) -exec chmod 755 {} \; -o \
+ \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \
+ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \;
CFLAGS="$SLKCFLAGS" \
CXXFLAGS="$SLKCFLAGS" \
@@ -59,32 +59,22 @@ CXXFLAGS="$SLKCFLAGS" \
--with-x \
--build=$ARCH-slackware-linux
-# Compile the application and install it into the $PKG directory
make
make install DESTDIR=$PKG
-# Strip binaries and libraries
find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \
| cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true
-# Compress man pages
-( cd $PKG/usr/man
- find . -type f -exec gzip -9 {} \;
- for i in $( find . -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done
-)
+find $PKG/usr/man -type f -exec gzip -9 {} \;
+for i in $( find $PKG/usr/man -type l ) ; do ln -s $( readlink $i ).gz $i.gz ; rm $i ; done
-# Documentation
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
-cp -a \
- COPYING TODO.txt \
- $PKG/usr/doc/$PRGNAM-$VERSION
+cp -a COPYING TODO.txt $PKG/usr/doc/$PRGNAM-$VERSION
cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
-# Copy the slack-desc
mkdir -p $PKG/install
cat $CWD/slack-desc > $PKG/install/slack-desc
-# Make the package
cd $PKG
/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.${PKGTYPE:-tgz}
diff --git a/development/polyml/polyml.info b/development/polyml/polyml.info
index 1c24eeefc5..0baea93db5 100644
--- a/development/polyml/polyml.info
+++ b/development/polyml/polyml.info
@@ -1,10 +1,10 @@
PRGNAM="polyml"
-VERSION="5.3"
+VERSION="5.5.2"
HOMEPAGE="http://www.polyml.org/"
-DOWNLOAD="http://downloads.sourceforge.net/project/polyml/polyml/5.3/polyml.5.3.tar.gz"
-MD5SUM="c4e3a33307c4465c4f068ae4fa225ced"
+DOWNLOAD="http://downloads.sourceforge.net/project/polyml/polyml/5.5.2/polyml.5.5.2.tar.gz"
+MD5SUM="c935fd2d17749c1e127098215da990c9"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""
-MAINTAINER="nobody"
-EMAIL="nobody"
+MAINTAINER="Antonio Hernández Blas"
+EMAIL="hba.nihilismus@gmail.com"