update makefile; use more recent bare_encoding module

imandra-ai · Sep 21, 2023 · ccfeb07 · ccfeb07
1 parent b320927
commit ccfeb07
Show file tree

Hide file tree

Showing 5 changed files with 143 additions and 139 deletions.
diff --git a/Makefile b/Makefile
@@ -1,5 +1,5 @@
 
-OPTS=--profile=release
+OPTS=--profile=release --ignore-promoted-rules
 all:
 	@dune build @all $(OPTS)
 
@@ -12,6 +12,9 @@ clean:
 fmt:
 	@dune build @fmt --display=quiet --auto-promote
 
+lint:
+	@dune build @lint
+
 WATCH ?= @all
 watch:
 	@dune build $(WATCH) -w $(OPTS)
diff --git a/src/utils/.ocamlformat-ignore b/src/utils/.ocamlformat-ignore
@@ -0,0 +1 @@
+bare_encoding.ml*