I made an experiment:
I changed the META file in .opam/5.0.0~rc1/lib/lockfree, replacing the 3rd line:
requires = “dscheck lockfree.virtual_atomic”
by
requires = “dscheck lockfree.atomic_stdlib”
Then #require “domainslib” seems to work properly in the toplevel, as it does compiling with ocamlfind (-package domainslib)
But i am not aware of any possible side effects. (?)
By the way, compiling with
ocamlfind ocamlopt -c -package domainslib test.ml
throws the warning:
findlib: [WARNING] Interface virtual_atomic.cmi occurs in several directories: /Users/molineli/.opam/5.0.0~rc1/lib/lockfree/atomic_stdlib, /Users/molineli/.opam/5.0.0~rc1/lib/lockfree/virtual_atomic
Does this shed any light?