Skip to content

Commit

Permalink
Use old build.jl for Windows
Browse files Browse the repository at this point in the history
  • Loading branch information
rschwarz authored Jan 25, 2021
1 parent e6e7a2f commit 1ccb7da
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/build.jl
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
using Libdl

if VERSION >= v"1.3" && !haskey(ENV, "SCIPOPTDIR")
if VERSION >= v"1.3" && !Sys.iswindows() && !haskey(ENV, "SCIPOPTDIR")
# Skip build in favor of SCIP_jll
exit()
end
Expand Down

0 comments on commit 1ccb7da

Please sign in to comment.