search

goblint / cil

C Intermediate Language
https://goblint.github.io/cil/
Other
40 stars 16 forks source link

Use unthreaded Batteries #26

Closed keremc closed 3 years ago

keremc commented 3 years ago

Since JavaScript is single-threaded, Gobview needs this to function correctly. When the default batteries package is used, CIL still compiles, but the JS bundle fails at runtime because it tries to call caml_thread_initialize, which isn't defined in the browser.

michael-schwarz commented 3 years ago

Should the goblint-cil.opam not contain a constraint for a minimal version of batteries?

keremc commented 3 years ago

Should the goblint-cil.opam not contain a constraint for a minimal version of batteries?

You're right. I've added it now. @michael-schwarz