diff options
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 |