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

ctypes: fix compat with 0.21.0 #1

Merged
merged 1 commit into from
Jul 17, 2023
Merged

Conversation

emillon
Copy link
Contributor

@emillon emillon commented Jul 17, 2023

In ctypes < 0.21.0, the ctypes and ctypes.foreign libraries were installed in the same directory, so depending on one would make the other one visible.
ctypes 0.21.0 installs them in different directories so this makes it an error.
udev.ml actually uses ctypes.foreign so it should depend on it.

In ctypes < 0.21.0, the ctypes and ctypes.foreign libraries were
installed in the same directory, so depending on one would make the
other one visible.
ctypes 0.21.0 installs them in different directories so this makes it an
error.
udev.ml actually uses ctypes.foreign so it should depend on it.
@emillon emillon mentioned this pull request Jul 17, 2023
18 tasks
@Armael
Copy link
Owner

Armael commented Jul 17, 2023

That looks good, thanks!
Btw, I haven't used this library in a while, and thus haven't been maintaining it very actively. I understand that this fix is simply a follow-up of work of ctypes, but if by any chance you were interested in helping with maintenance, I would be more than happy to give you (or anyone) write access to the project :-).

@Armael Armael merged commit 6c1f0d4 into Armael:master Jul 17, 2023
@emillon
Copy link
Contributor Author

emillon commented Jul 17, 2023

No, thanks. I'm just cleaning up revdeps as we're releasing the new version. But if you prefer, I can also just add the patch to the existing opam release (or make a x.y.z-1 release with the patch).

@emillon emillon deleted the ctypes-compat branch July 17, 2023 12:07
@Armael
Copy link
Owner

Armael commented Jul 17, 2023

Adding the patch to the current opam release sounds good, yes, thanks!

emillon added a commit to yallop/opam-repository that referenced this pull request Jul 17, 2023
nberth pushed a commit to nberth/opam-repository that referenced this pull request Jun 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants