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

Are we able to make ctypes automatically work for both multicore and stock ocaml #15

Closed
ctk21 opened this issue May 2, 2019 · 1 comment
Closed

Are we able to make ctypes automatically work for both multicore and stock ocaml #15

ctk21 opened this issue May 2, 2019 · 1 comment

Comments

@ctk21
Copy link
Member

ctk21 commented May 2, 2019

Right now we have a workaround for getting ctypes to work on multicore:
https://github.com/ocamllabs/sandmark#ctypes

Is there a solution that will make it work on both stock ocaml and multicore without editing the source location?
stedolan added a commit to stedolan/sandmark that referenced this issue Jun 4, 2021
@stedolan
Squashed 'packages/astring/' changes from 1a86b39343..f60d7a558f
edd8119 
ec7a266a3a Rearrange types to support the new injectivity annotations in Map.S
f61551e596 Ignore b0 stuff.
393fdb939b Update change log.
c9a546138f Get rid of one last `Pervasives` mention.
4fa99e6d9c Doc cleanup.
e21fbfeeb9 Fix doc typos. Closes ocaml-bench#16, closes ocaml-bench#15.
f1f1dce2ec Handle Pervasives's deprecation.
e5f08070f0 Require OCaml >= 4.05 and opam v2 metadata.
35601ae74e Remove some watermarks.
1dbe708401 Switch to contributor based copyrights.
842a4bc7c7 Fix doc typo (closes ocaml-bench#12).
9da4117ad7 Simplify package.
88dcf40d47 Add conversions to/from stdlib sets and maps

git-subtree-dir: packages/astring
git-subtree-split: f60d7a558fc53fb188f8be90cb1ef0987c53639a
@shakthimaan
Copy link
Contributor

Yes. ctypes.0.15.0 builds fine now with 4.12.0+ for both +stock and +multicore. Hence, closing this issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@shakthimaan @ctk21