require more recent CSIP release

scipopt · Sep 14, 2016 · 06a5367 · 06a5367
1 parent 8fb9da3
commit 06a5367
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/deps/build.jl b/deps/build.jl
@@ -1,6 +1,6 @@
 using BinDeps
 
-CSIP_VERSION = "0.3.2"
+CSIP_VERSION = "0.3.3"
 CSIP_URL = "https://github.com/SCIP-Interfaces/CSIP/archive/v$(CSIP_VERSION).zip"
 CSIP_LIB = "libcsip"
 CSIP_UNPACKED = "CSIP-$(CSIP_VERSION)"
@@ -11,7 +11,7 @@ CSIP_UNPACKED = "CSIP-$(CSIP_VERSION)"
 
 function validate_csip(name, handle)
  csip_version = ccall(Libdl.dlsym(handle, :CSIPgetVersion), Cint, ())
- csip_version == 032
+ csip_version == 033
 end
 
 csipdep = library_dependency(CSIP_LIB, validate=validate_csip)

diff --git a/src/SCIP.jl b/src/SCIP.jl
@@ -21,9 +21,9 @@ end
 
 function __init__()
  version = VersionNumber(CSIPversion())
- if !(version.major == 0 && version.minor == 3 && version.patch == 2)
+ if !(version.major == 0 && version.minor == 3 && version.patch == 3)
  depsdir = realpath(joinpath(dirname(@__FILE__),"..","deps"))
- error("Current CSIP version installed is $(version), but we require version 0.3.2. On Linux, delete the contents of the `$depsdir` directory except for `build.jl`, then rerun Pkg.build(\"SCIP\").")
+ error("Current CSIP version installed is $(version), but we require version 0.3.3. On Linux, delete the contents of the `$depsdir` directory except for `build.jl`, then rerun Pkg.build(\"SCIP\").")
  end
 end