diff options
author | Steven Vch <unstatik@staremax.com> | 2016-10-13 13:09:56 +0700 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-10-13 13:09:56 +0700 |
commit | 7f44ba9145de73395c653cf58b965d7efe16475f (patch) | |
tree | 94480bca6c75474d0a6f9711c2e442d8cddb1918 /development/fsharp/fsharp.SlackBuild | |
parent | 0c8e98aeecebe8785e501222f52f619ce56eb533 (diff) |
development/fsharp: Updated for version 4.0.1.13.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/fsharp/fsharp.SlackBuild')
-rw-r--r-- | development/fsharp/fsharp.SlackBuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/development/fsharp/fsharp.SlackBuild b/development/fsharp/fsharp.SlackBuild index 74181b483565a..853bf1b42ec83 100644 --- a/development/fsharp/fsharp.SlackBuild +++ b/development/fsharp/fsharp.SlackBuild @@ -4,10 +4,10 @@ # Written by Steven Vch. <unstatik@staremax.com> PRGNAM=fsharp -VERSION=${VERSION:-4.0.1.1} +VERSION=${VERSION:-4.0.1.13} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} -MONO_BIN=/usr/bin/mono +MONO_BIN=`which mono` if [ -z "$ARCH" ]; then case "$( uname -m )" in @@ -71,7 +71,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 CHANGELOG-* LICENSE README* $PKG/usr/doc/$PRGNAM-$VERSION +cp -a CHANGELOG-* LICENSE README* CONTRIBUTING* ISSUE_TEMPLATE* $PKG/usr/doc/$PRGNAM-$VERSION cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild mkdir -p $PKG/install |