diff options
author | Roberto Metere <roberto@metere.it> | 2015-05-01 18:29:05 +0700 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2015-05-01 18:29:05 +0700 |
commit | f03d3dda747e495c4a1edd34aa409e00e1a6c787 (patch) | |
tree | 3f0cef4142a036db1734b45d54947e746b41895f /development/mosml/mosml.SlackBuild | |
parent | 967f095b949da8483bd4f8c0565991a69c9e79d9 (diff) |
development/mosml: Added (Moscow Standard ML).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mosml/mosml.SlackBuild')
-rw-r--r-- | development/mosml/mosml.SlackBuild | 98 |
1 files changed, 98 insertions, 0 deletions
diff --git a/development/mosml/mosml.SlackBuild b/development/mosml/mosml.SlackBuild new file mode 100644 index 000000000000..d9530d26b2d6 --- /dev/null +++ b/development/mosml/mosml.SlackBuild @@ -0,0 +1,98 @@ +#!/bin/sh +# Slackware build script for Moscow ML + +# Copyright 2015 Roberto Metere, Cagliari (CA), Italy <roberto@metere.it> +# All rights reserved. +# +# Redistribution and use of this script, with or without modification, is +# permitted provided that the following conditions are met: +# +# 1. Redistributions of this script must retain the above copyright +# notice, this list of conditions and the following disclaimer. +# +# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ''AS IS'' AND ANY EXPRESS OR IMPLIED +# WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF +# MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO +# EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, +# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; +# OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, +# WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR +# OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF +# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +PRGNAM=mosml +VERSION=${VERSION:-2.10.1} +BUILD=${BUILD:-1} +TAG=${TAG:-_SBo} + +if [ -z "$ARCH" ]; then + case "$( uname -m )" in + i?86) ARCH=i486 ;; + arm*) ARCH=arm ;; + *) ARCH=$( uname -m ) ;; + esac +fi + +CWD=$(pwd) +TMP=${TMP:-/tmp/SBo} +PKG=$TMP/package-$PRGNAM +OUTPUT=${OUTPUT:-/tmp} + +if [ "$ARCH" = "i486" ]; then + SLKCFLAGS="-O2 -march=i486 -mtune=i686" + LIBDIRSUFFIX="" +elif [ "$ARCH" = "i686" ]; then + SLKCFLAGS="-O2 -march=i686 -mtune=i686" + LIBDIRSUFFIX="" +elif [ "$ARCH" = "x86_64" ]; then + SLKCFLAGS="-O2 -fPIC" + LIBDIRSUFFIX="64" +else + SLKCFLAGS="-O2" + LIBDIRSUFFIX="" +fi + +set -e + +rm -rf $PKG +mkdir -p $TMP $PKG $CWD +cd $TMP +rm -rf $PRGNAM-$VERSION +tar xvf $CWD/$PRGNAM-ver-$VERSION.tar.gz || tar xvf $CWD/ver-$VERSION.tar.gz +mv $PRGNAM-ver-$VERSION $PRGNAM-$VERSION +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 640 -o -perm 600 -o -perm 444 \ + -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; + +# As documentation suggests, change configuration inside Makefile.inc +cd src +sed -i -e "s/\(PREFIX=\)[\/a-z]\+/\1\/usr/" Makefile.inc +sed -i -e "s/\(VERSION=2.10\)\$/\1.1/" Makefile.inc +sed -i -e "s/\(LIBDIR=\${PREFIX}\/\)lib/\1lib${LIBDIRSUFFIX}/" Makefile.inc +sed -i -e "s/\(DOCDIR=\${PREFIX}\/\)[\/a-z]\+/\1doc\/${PRGNAM}-${VERSION}/" Makefile.inc +sed -i -e "s/\(CC=gcc\)/\1 ${SLKCFLAGS}/" Makefile.inc + +make world +make install DESTDIR=$PKG +cd .. + +mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION +cp -a README install.txt install.txt.w32 readme.w32 roadmap \ + $PKG/usr/doc/$PRGNAM-$VERSION +cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild + +# A file in the $PKG/usr/doc/$PRGNAM-$VERSION can be stripped, +# so we strip here, rather than immediately after make install. +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 + +mkdir -p $PKG/install +cat $CWD/slack-desc > $PKG/install/slack-desc + +cd $PKG +/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.${PKGTYPE:-tgz} |