ensure experiment binary can be compiled

coq-community · Oct 1, 2023 · 7925e92 · 7925e92
1 parent 95e4b27
commit 7925e92
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -6,6 +6,7 @@
 *.vos
 *.vok
 *~
+*.install
 .Makefile.coq.d
 Makefile.coq
 Makefile.coq.bak

diff --git a/src/bench/dune b/src/bench/dune
@@ -9,5 +9,7 @@
 (executable
  (name experiment)
  (flags :standard -w -33-35)
+;(public_name chaparExperiment)
  (libraries utils)
+;(package coq-chapar-stores)
  (modules experiment))
diff --git a/src/bench/experiment.ml b/src/bench/experiment.ml
@@ -1,6 +1,6 @@
 (* open Printf *)
-open Configuration
-open ReadConfig
+open Utils.Configuration
+open Utils.ReadConfig
 open String
 
 let _ =