Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update headers for Gurobi v11 release #528

Closed
wants to merge 5 commits into from

Conversation

simonbowly
Copy link
Collaborator

  • Add auto-generated files based on Gurobi version 11 beta
  • Adjust aliases and paths

Clang = "0.12"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
Clang = "0.12"
Clang = "0.17"

I didn't test, but try with this. It's what I needed for jump-dev/HiGHS.jl#175

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tried this, without success so far. It's a different API for clang.jl, and produces a different file structure.

Do we need a generated Gurobi_JLL package as well to migrate to the new version?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh, we'd need to update the script as well: https://github.com/jump-dev/HiGHS.jl/tree/master/gen. No need for a JLL. And no real need to change. It's a low priority and you seem to have rebuild the wrapper okay.

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yep, I'll open another issue for that and post my attempt at the script changes.

@odow
Copy link
Member

odow commented Oct 30, 2023

You'll also need to push to the jump-dev remote to be able to access the CI secrets.

@odow
Copy link
Member

odow commented Oct 30, 2023

Once 11 is released we'll also need to update https://github.com/jump-dev/Gurobi.jl/blob/master/Artifacts.toml

@simonbowly
Copy link
Collaborator Author

You'll also need to push to the jump-dev remote to be able to access the CI secrets.

Aha, thanks, closing this in favour of #531 then

@simonbowly simonbowly closed this Oct 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants