Rm: Mainspec

goblint · Dec 1, 2023 · 9e0ef1c · 9e0ef1c
1 parent 89698bc
commit 9e0ef1c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/scripts/goblint-lib-modules.py b/scripts/goblint-lib-modules.py
@@ -30,7 +30,6 @@
     "MessagesCompare",
     "PrivPrecCompare",
     "ApronPrecCompare",
-    "Mainspec",
 
     # libraries
     "Goblint_std",

diff --git a/src/dune b/src/dune
@@ -6,7 +6,7 @@
 (library
   (name goblint_lib)
   (public_name goblint.lib)
-  (modules :standard \ goblint mainspec privPrecCompare apronPrecCompare messagesCompare)
+  (modules :standard \ goblint privPrecCompare apronPrecCompare messagesCompare)
   (libraries goblint.sites goblint.build-info goblint-cil.all-features batteries.unthreaded qcheck-core.runner sha json-data-encoding jsonrpc cpu arg-complete fpath yaml yaml.unix uuidm goblint_timing catapult goblint_backtrace fileutils goblint_std goblint_common
     ; Conditionally compile based on whether apron optional dependency is installed or not.
     ; Alternative dependencies seem like the only way to optionally depend on optional dependencies.
@@ -73,10 +73,10 @@
 (copy_files# witness/z3/*.ml)
 
 (executables
-  (names goblint mainspec)
-  (public_names goblint -)
+  (names goblint)
+  (public_names goblint)
   (modes byte native) ; https://dune.readthedocs.io/en/stable/dune-files.html#linking-modes
-  (modules goblint mainspec)
+  (modules goblint)
   (libraries goblint.lib goblint.sites.dune goblint.build-info.dune goblint_std)
   (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall -open Goblint_std)