Merge pull request #39 from goblint/rm-libmaincil

Adapt to removed `Libmaincil` module
goblint · Feb 13, 2024 · f873913 · f873913
2 parents 7cfdafd + 120fd28
commit f873913
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/App.re b/src/App.re
@@ -34,6 +34,7 @@ let renumber_goblint_analyses = registered_name => {
 };
 
 let init_goblint = (solver, spec, registered_name, config, cil) => {
+  Cilfacade.init();
   AfterConfig.run(); // This registers the "base" analysis
 
   try(renumber_goblint_analyses(registered_name)) {
@@ -67,7 +68,6 @@ let init_goblint = (solver, spec, registered_name, config, cil) => {
 
   GobConfig.set_auto("trans.activated[+]", "'expeval'");
 
-  Cilfacade.init();
   Maingoblint.handle_extraspecials();
   Maingoblint.handle_flags();
 

diff --git a/src/dune b/src/dune
@@ -28,6 +28,7 @@
   yojson
   zarith
   zarith_stubs_js)
+ (flags :standard -linkall)
  (js_of_ocaml
   (javascript_files
    ../runtime/stubs.js