diff options
author | Steven Vch <unstatik@staremax.com> | 2016-01-06 23:50:44 +0700 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-01-09 07:12:22 +0700 |
commit | b531cddbab63b6b343ebc7ed560d8158b5710e30 (patch) | |
tree | f68966442ca69991576a49fb80c71daa28497465 /development/fsharp/fsharp.SlackBuild | |
parent | d66d1b325ee06313ae7a30ca42461b6daeab90f8 (diff) |
development/fsharp: Updated for version 4.0.1.1.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/fsharp/fsharp.SlackBuild')
-rw-r--r-- | development/fsharp/fsharp.SlackBuild | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/development/fsharp/fsharp.SlackBuild b/development/fsharp/fsharp.SlackBuild index 89399e3b87651..120373d0d0ece 100644 --- a/development/fsharp/fsharp.SlackBuild +++ b/development/fsharp/fsharp.SlackBuild @@ -4,9 +4,10 @@ # Written by Steven Vch. <unstatik@staremax.com> PRGNAM=fsharp -VERSION=${VERSION:-3.1.1.32} +VERSION=${VERSION:-4.0.1.1} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} +MONO_BIN=/usr/bin/mono if [ -z "$ARCH" ]; then case "$( uname -m )" in @@ -41,7 +42,7 @@ rm -rf $PKG mkdir -p $TMP $PKG $OUTPUT cd $TMP rm -rf $PRGNAM-$VERSION -tar xvfz $CWD/$VERSION.tar.gz +tar xvf $CWD/$VERSION.tar.gz cd $PRGNAM-$VERSION chown -R root:root . find -L . \ @@ -50,6 +51,9 @@ find -L . \ \( -perm 666 -o -perm 664 -o -perm 640 -o -perm 600 -o -perm 444 \ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; +mozroots --import --machine --sync +$MONO_BIN ./.nuget/NuGet.exe install FsCheck + CFLAGS="$SLKCFLAGS" \ CXXFLAGS="$SLKCFLAGS" \ ./autogen.sh \ @@ -68,7 +72,7 @@ find $PKG -print0 | xargs -0 file | grep -e "executable" -e "shared object" | gr | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null || true mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION -cp -a CHANGES.txt LICENSE README* $PKG/usr/doc/$PRGNAM-$VERSION +cp -a CHANGELOG-* LICENSE README* $PKG/usr/doc/$PRGNAM-$VERSION cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild mkdir -p $PKG/install |