Merge pull request #81 from kape1395/support-dune-build

Basic support for build with dune.
tlaplus · Sep 5, 2023 · dc344b6 · dc344b6
2 parents 581ebd8 + 376b7e4
commit dc344b6
Show file tree

Hide file tree

Showing 4 changed files with 18 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -10,6 +10,9 @@
 *.log
 .DS_Store
 
+/_build/
+/.vscode/
+
 /Makefile
 /config.log
 /config.status

diff --git a/dune-project b/dune-project
@@ -0,0 +1 @@
+(lang dune 3.7)
diff --git a/src/backend/fpfile.ml b/src/backend/fpfile.ml
@@ -531,7 +531,7 @@ let iter_file f ic =
 
 let translate v ic =
   match v with
-  | FP13 fps -> fptbl := fps; iter_file add_v13l ic;
+  | FP13 fps -> fptbl := fps; iter_file (fun x -> add_v13l x []) ic;
   | _ -> assert false
 
 

diff --git a/src/dune b/src/dune
@@ -0,0 +1,13 @@
+(executable
+  (name tlapm)
+  (libraries unix str)
+  (foreign_stubs (language c) (names sysconf_stubs)))
+
+(ocamllex alexer)
+
+(include_subdirs unqualified)
+
+(env
+  (dev
+    (flags (:standard -w +a-4-7-9-27-29-30-32..42-44-45-48-50-52-60-66..70))))
+