-generate-meta-for-package coq-unicoq
-I src
-R theories Unicoq

COQDOC = "$(COQBIN)coqdoc -interpolate -utf8"
CAMLP4OPTIONS = "-loc loc"
CAMLDEBUG = "-g"
-arg -bt
src/logger.mli
src/logger.ml
src/munify.mli
src/munify.ml
src/unitactics.mlg
src/unicoq.mlpack
theories/Unicoq.v
test-suite/munifytest.v
test-suite/microtests.v
test-suite/primitive.v
test-suite/instantiate.v
test-suite/timings.v
test-suite/bug_41.v
test-suite/bug_44.v
