diff options
Diffstat (limited to 'development/fsharp/fsharp.SlackBuild')
| -rw-r--r-- | development/fsharp/fsharp.SlackBuild | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/development/fsharp/fsharp.SlackBuild b/development/fsharp/fsharp.SlackBuild index 853bf1b42ec83..295117d6b3613 100644 --- a/development/fsharp/fsharp.SlackBuild +++ b/development/fsharp/fsharp.SlackBuild @@ -4,10 +4,11 @@ # Written by Steven Vch. <unstatik@staremax.com> PRGNAM=fsharp -VERSION=${VERSION:-4.0.1.13} +VERSION=${VERSION:-4.0.1.20} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} MONO_BIN=`which mono` +MOZROOTS_BIN=`which mozroots` if [ -z "$ARCH" ]; then case "$( uname -m )" in @@ -51,6 +52,10 @@ 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 {} \; + +# manual update system certificates +$MOZROOTS_BIN --import --machine --sync + $MONO_BIN ./.nuget/NuGet.exe install FsCheck CFLAGS="$SLKCFLAGS" \ |