Draft: Calling Mopsa as a library

I'm trying to use Mopsa as a library, to link it with another OCaml project. I've done a small modification in this current MR (to pass arguments rather than have to patch Sys.argv).

I am now encountering another issue: it seems no domains are registered when calling Mopsa as a library.

I ran a dune install in mopsa beforehand. The sample code is here: https://gitlab.com/rmonat/mopsa_as_library_demo. The result is:

$ dune exec mopsa_as_lib_demo
Analysis aborted                 
panic: Domain 'universal.iterators.program' not found
Available domains: 

@aouadjaout @antoine_mine any ideas on how to fix this?

Merge request reports

Loading