From 7925e9295024496f18eab98b8cb81a6649f2d9c1 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Sun, 1 Oct 2023 18:57:54 +0200 Subject: [PATCH] ensure experiment binary can be compiled --- .gitignore | 1 + src/bench/dune | 2 ++ src/bench/experiment.ml | 4 ++-- 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index dc7ce88..bff50d1 100644 --- 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 index c8828b1..ff79e08 100644 --- 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 index ea163ab..b4fe688 100644 --- 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 _ =