Merge master to dev16.1

fcs/.gitignore

@@ -1,3 +1,4 @@
+.paket/
 FSharp.Compiler.Service.Tests/TestResults/*
 FSharp.Compiler.Service.netstandard/illex.fs
 FSharp.Compiler.Service.netstandard/ilpars.fs

fcs/build.cmd

@@ -8,6 +8,7 @@ if errorlevel 1 (
   exit /b %errorlevel%
 )
 
+powershell -noprofile -executionPolicy RemoteSigned -file "%~dp0\download-paket.ps1"
 .paket\paket.exe restore
 if errorlevel 1 (
   endlocal

fcs/build.sh

@@ -10,7 +10,8 @@ else
   if [[ ! -e ~/.config/.mono/certs ]]; then
     mozroots --import --sync --quiet
   fi
-
+
+  ./download-paket.sh
   mono .paket/paket.exe restore
   exit_code=$?
   if [ $exit_code -ne 0 ]; then

fcs/download-paket.ps1

@@ -0,0 +1,7 @@
+$paketurl="https://github.com/fsprojects/Paket/releases/download/5.201.1/paket.exe"
+$paketdir = Join-Path $PSScriptRoot ".paket"
+$paketpath = Join-Path $paketdir "paket.exe"
+if (-not (Test-Path "$paketpath")) {
+    mkdir "$paketdir"
+    Invoke-WebRequest -Uri $paketurl -OutFile "$paketpath"
+}

fcs/download-paket.sh

@@ -0,0 +1,21 @@
+#!/usr/bin/env bash
+
+source="${BASH_SOURCE[0]}"
+
+# resolve $source until the file is no longer a symlink
+while [[ -h "$source" ]]; do
+  scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
+  source="$(readlink "$source")"
+  # if $source was a relative symlink, we need to resolve it relative to the path where the
+  # symlink file was located
+  [[ $source != /* ]] && source="$scriptroot/$source"
+done
+scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
+
+paketurl=https://github.com/fsprojects/Paket/releases/download/5.201.1/paket.exe
+paketdir=$scriptroot/.paket
+paketpath=$paketdir/paket.exe
+if [ ! -e "$paketpath" ]; then
+  mkdir "$paketdir"
+  curl -o "$paketpath" -L $paketurl
+fi