wib

rems-project · Feb 7, 2025 · 7072d87 · 7072d87
1 parent 672feed
commit 7072d87
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 5 deletions.
diff --git a/backend/absint/dune b/backend/absint/dune
@@ -6,4 +6,5 @@
  (package cerberus-absint)
  (flags (:standard -w -27-32))
  (libraries result cmdliner str unix apron apron.boxD apron.octD apron.polkaMPQ
-  apron.t1pMPQ mem_concrete cerberus-lib.backend_common))
+  apron.t1pMPQ mem_concrete cerberus-lib.backend_common))
+
diff --git a/backend/ail_playground/dune b/backend/ail_playground/dune
@@ -3,4 +3,5 @@
  ; (public_name ail_playground)
  ; (package cerberus)
  (flags (:standard -w -27))
- (libraries cmdliner str unix mem_concrete cerberus-lib.backend_common))
+ (libraries cmdliner str unix mem_concrete cerberus-lib.backend_common))
+
diff --git a/backend/bmc/dune b/backend/bmc/dune
@@ -14,4 +14,5 @@
  (flags (:standard -w -27))
  (modules main)
  (libraries cmdliner str unix
-  cerb_frontend cerb_backend mem_concrete cerb_util bmc))
+  cerb_frontend cerb_backend mem_concrete cerb_util bmc))
+
diff --git a/backend/common/dune b/backend/common/dune
@@ -5,4 +5,5 @@
  (flags (:standard -w -27))
  (modules :standard \ smt smt_wrapper boot_pprint2 tests cerbcore
    interactive_driver )
- (libraries cerb_frontend core_parser c_parser pprint cerb_util))
+ (libraries cerb_frontend core_parser c_parser pprint cerb_util))
+
diff --git a/backend/driver/dune b/backend/driver/dune
@@ -42,4 +42,5 @@
  (target main_cheri_coq.ml)
  (package cerberus-cheri)
  (deps main.ml)
- (action (copy main.ml main_cheri_coq.ml)))
+ (action (copy main.ml main_cheri_coq.ml)))
+