Make

-I src
-R theories Containers

-extra "$(TESTVOFILES)" "$(VOFILES)" ""
-extra-phony test "$(TESTVOFILES)" ""

-extra-phony clean-test "" "-rm -f  $(TESTVOFILES) $(TESTVFILES:.v=.glob) $(TESTVFILES:.v=.v.d)"
-extra-phony clean clean-test ""

CAMLP4OPTIONS = "-loc loc"
src/printing.ml
src/printing.mli
src/generate.ml4
src/containers_plugin_mod.ml
src/containers_plugin.mllib

theories/OrderedType.v
theories/Tactics.v
theories/OrderedTypeEx.v
theories/Bridge.v
theories/SetInterface.v
theories/SetFacts.v
theories/SetDecide.v
theories/SetProperties.v
theories/SetEqProperties.v
theories/SetList.v
theories/SetListInstance.v
theories/SetAVL.v
theories/SetAVLInstance.v
theories/Sets.v
theories/MapInterface.v
theories/MapNotations.v
theories/MapFacts.v
theories/MapList.v
theories/MapListInstance.v
theories/MapAVL.v
theories/MapAVLInstance.v
theories/MapPositive.v
theories/MapPositiveInstance.v
theories/CMapPositive.v
theories/CMapPositiveInstance.v
theories/Maps.v
theories/Generate.v
theories/SetConstructs.v

TESTVFILES = "tests/BenchMarks.v tests/TestSet.v tests/TestMap.v"
TESTVOFILES = "$(TESTVFILES:.v=.vo)"