Closed bogdan2412 closed 7 years ago
I think that this is fixed by4c346e5ffbfa3e58ab52214aba01a75770632dfa, can you try again?
It didn't fix it unfortunately. I should mention that this was on a Fedora 25 install and the default parallelism under which I see this failing is -j4.
Ok, there might a dependency missing when building the cmxs, looking into it
I believe this is fixed now
Agree, thanks.
Seems like there's some dependency that's not tracked properly by the build system.
opam install re2 --jobs 1
works fine.Regular
opam install re2
fails with the error below. Runningmake
twice in the build directory also results in a successful full build.