diff options
author | Jockey S. Kyd <jockey.kyd@gmail.com> | 2012-02-12 01:00:30 -0600 |
---|---|---|
committer | Niels Horn <niels.horn@slackbuilds.org> | 2012-02-18 09:12:28 -0200 |
commit | 8508e290527752f03b93bb6df4be8058feef9094 (patch) | |
tree | bfc8290d74b99da53836a58b9338ece964743f54 /development/mlton/mlton.SlackBuild | |
parent | 468f62393275fa1f23951ba10790fe89be554a70 (diff) |
development/mlton: Added (MLton Standard ML Compiler)
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
Diffstat (limited to 'development/mlton/mlton.SlackBuild')
-rw-r--r-- | development/mlton/mlton.SlackBuild | 91 |
1 files changed, 91 insertions, 0 deletions
diff --git a/development/mlton/mlton.SlackBuild b/development/mlton/mlton.SlackBuild new file mode 100644 index 0000000000000..7cf5bbb870ec8 --- /dev/null +++ b/development/mlton/mlton.SlackBuild @@ -0,0 +1,91 @@ +#!/bin/sh + +# Copyright 2011,2012 Jockey S. Kyd, Shanghai, CHN +# 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=mlton +VERSION=20100608 +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} + +case "$ARCH" in + i?86) LIBDIRSUFFIX="" + TARARCH="x86" ;; + x86_64) LIBDIRSUFFIX="64" + TARARCH="amd64" ;; + *) printf "$ARCH is not supported.\n" 1>&2 + exit 1 ;; +esac + +# pick the tarball with dynamically linked distribution preferred +DIST=$PRGNAM-$VERSION-1.$TARARCH-linux +if [ ! -f $CWD/$DIST.tgz ]; then + # no dynamically linked version, hence pick static linked one + DIST=$PRGNAM-$VERSION-1.$TARARCH-linux.static + if [ ! -f $CWD/$DIST.tgz ]; then + printf "No tarball found.\n" 1>&2 + exit 1 + fi +fi + +set -e +rm -rf $PKG +mkdir -p $TMP $PKG $OUTPUT +cd $PKG +tar xvf $CWD/$DIST.tgz +chown -R root:root . +find . \ + \( -perm 777 -o -perm 775 -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 {} \; + +[ "$LIBDIRSUFFIX" = "64" ] && mv $PKG/usr/lib{,64} +sed -i "s|^lib=.*$|lib='/usr/lib$LIBDIRSUFFIX/mlton'|" $PKG/usr/bin/mlton + +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/usr/doc/$PRGNAM-$VERSION +cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild +mv $PKG/usr/share/doc/mlton/* $PKG/usr/doc/$PRGNAM-$VERSION/ +rm -rf $PKG/usr/share + +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} |