fix TLS version for win download

MOSEK · Jan 7, 2019 · 38abb31 · 38abb31
1 parent 16b5b79
commit 38abb31
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/deps/liftedfrombindeps.jl b/deps/liftedfrombindeps.jl
@@ -58,7 +58,7 @@ function download_cmd(url::AbstractString, filename::AbstractString)
         return `fetch -f $filename $url`
     elseif downloadcmd == :powershell
         recmkdir(dirname(filename))
-        return `powershell -file $(joinpath(dirname(@__FILE__),"deps","winget.ps0")) $url $filename`
+        return `powershell -file $(joinpath(dirname(abspath(@__FILE__)),"deps","winget.ps0")) $url $filename`
     else
         error("No download agent available; install curl, wget, fetch, or powershell.")
     end
@@ -112,7 +112,7 @@ end
             end
         elseif extension == ".zip"
             rm(directory,recursive=true)
-            return (`powershell -file $(joinpath(dirname(@__FILE__),"deps","winunzip.ps1")) $file $directory`)
+            return (`powershell -file $(joinpath(dirname(abspath(@__FILE__)),"deps","winunzip.ps1")) $file $directory`)
         else
             error("I don't know how to unpack $file")
         end

diff --git a/deps/winget.ps1 b/deps/winget.ps1
@@ -1,4 +1,5 @@
 $url   = $args[0]
 $fname = $args[1]
+[Net.ServicePointManager]::SecurityProtocol = [Net.SecurityProtocolType]::Tls12 
 
 (new-object net.webclient).DownloadFile($url, $fname)