UQ-PAC · agle · Sep 9, 2025
diff --git a/bin/dune b/bin/dune
@@ -40,5 +40,5 @@
  (package aslp_offline)
  (modes exe)
  (modules offline_sem)
- (flags (-cclib -lstdc++))
- (libraries asli.libASL aslp_offline.aarch64 aslp_offline.pc_aarch64))
+ (flags (:standard -cclib -static))
+ (libraries asli.libASL-stage0 aslp_offline.aarch64 aslp_offline.pc_aarch64))
diff --git a/bin/offline_sem.ml b/bin/offline_sem.ml
@@ -1,5 +1,4 @@
-open LibASL
-open Asl_ast
+open LibASL_stage0
 open Asl_utils
 
 let run (opcode: string) (pc: int option) =

diff --git a/libASL/ocaml_backend.ml b/libASL/ocaml_backend.ml
@@ -386,6 +386,7 @@ let write_new_dune_file use_pc files dir  : unit =
   let oc = open_out (dir ^ "/dune.generated.new") in
   Printf.fprintf oc "; AUTO-GENERATED BY OCAML BACKEND\n";
   Printf.fprintf oc "(rule
+  (mode promote)
   (targets
     dune.generated.new\n%s
   )

diff --git a/offlineASL-pc/dune.generated b/offlineASL-pc/dune.generated
diff --git a/offlineASL/dune.generated b/offlineASL/dune.generated