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.

Sign up for GitHub

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

Jump to bottom

Symbols missing in gismo_jll #2

Closed
hverhelst opened this issue Nov 26, 2024 · 0 comments · Fixed by #5
Closed

Symbols missing in gismo_jll #2

hverhelst opened this issue Nov 26, 2024 · 0 comments · Fixed by #5
Assignees
@hverhelst
Labels
bug Something isn't working dependencies Pull requests that update a dependency file
Milestone
Public release v2...

Comments

@hverhelst
Copy link
Member

Currently, there are some symbols missing in the latest version of gismo_jll (see the repo here).
The reason is that there is PR#1 in gsCInterface, which is not yet merged yet.
This issue can be closed as soon as the dependent PR is merged.
@hverhelst hverhelst added this to the Public release v24.12.0 milestone Nov 26, 2024
@hverhelst hverhelst self-assigned this Nov 26, 2024
@hverhelst hverhelst added bug Something isn't working dependencies Pull requests that update a dependency file labels Nov 26, 2024
@hverhelst hverhelst linked a pull request Dec 12, 2024 that will close this issue
Add new features, preparing v.25.1.0 #5
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hverhelst hverhelst

Labels
bug Something isn't working dependencies Pull requests that update a dependency file
Projects
None yet
Milestone
Public release v24.12.0
Development

Successfully merging a pull request may close this issue.

Add new features, preparing v.25.1.0 gismo/Gismo.jl
1 participant
@hverhelst