Update with v12.0.0 libraries #27
Conversation
Call GRBemptyenvinternal with the technical version number
| error = @ccall libgurobi.GRBemptyenv(envptr::Ptr{Ptr{Cvoid}})::Cint | ||
| # Temporary workaround for 12.0.0. This can be reverted to use GRBemptyenv for 12.0.1 | ||
| # https://docs.gurobi.com/projects/optimizer/en/12.0/reference/releasenotes/knownbugs.html | ||
| error = @ccall libgurobi.GRBemptyenvinternal(envptr::Ptr{Ptr{Cvoid}}, 12::Int, 0::Int, 0::Int)::Cint |
There was a problem hiding this comment.
I don't understand how this passed your testing?
This is a blocker for adoption in Gurobi.jl:
Can't you just release 12.0.1 immediately? I don't see the point in releasing this version if it can't be used without touching undocumented internals.
There was a problem hiding this comment.
GRBemptyenv is exposed via a header define. The majority of users don't need the internal function.
Can you clarify why it's a blocker here? libgrb_api.jl has the necessary additions, picked up automatically from the header files:
We've been testing Gurobi.jl with 12 already, and this doesn't appear to be a problem.
There was a problem hiding this comment.
Ah, I didn't look for the header change. So this is a problem only for this particular test in Gurobi_jll.
open_documentationcommand (12.0 no longer ships the documentation)