aboutsummaryrefslogtreecommitdiff
path: root/development/fsharp/fsharp.SlackBuild
diff options
context:
space:
mode:
authorSteven Vch <unstatik@staremax.com>2016-10-13 13:09:56 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2016-10-13 13:09:56 +0700
commit7f44ba9145de73395c653cf58b965d7efe16475f (patch)
tree94480bca6c75474d0a6f9711c2e442d8cddb1918 /development/fsharp/fsharp.SlackBuild
parent0c8e98aeecebe8785e501222f52f619ce56eb533 (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.SlackBuild6
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