Update

config.ml

@@ -1,4 +1,4 @@
-let version = "z0"
+let version = "2024"
 let subversion = "dev"
-let stdlib = "/Users/pouzet/article/paper/lustre/hybrid/zelus_git/github/zrun.work/_build/install/default/share/zelus"
-let date = "2024-07-17-9:55"
+let stdlib = "/Users/pouzet/article/paper/lustre/hybrid/zelus_git/github/zelus.2024.git/_build/install/default/share/zelus"
+let date = "2024-10-21-16:55"

configure

@@ -2,7 +2,7 @@
 
 #load "unix.cma"
 
-let version = "2.2"
+let version = "2024"
 let subversion = "dev"
 
 let prefix = ref (Filename.concat (Sys.getcwd ()) "_build/install/default/")
@@ -40,7 +40,7 @@ let () =
       "date", dquote @@ get_current_date ();
     ]
   in
-  let oc = open_out_bin "zconfig.ml" in
+  let oc = open_out_bin "config.ml" in
   List.iter
     (fun (x, s) -> Printf.fprintf oc {|let %s = %s
 |} x s)

zrun.opam

@@ -0,0 +1,7 @@
+opam-version: "1.0"
+version: "z0"
+synopsis: "ZRun, A synchronous language interpreter"
+authors: [
+  "Marc Pouzet <[email protected]>"
+  ]
+maintainer: ["Marc Pouzet <[email protected]>"]