Make

-I src -R theories Constructors
-custom "$(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -shared -o src/constructors_plugin.cmxs src/constructors.cmx src/constructors_plugin_mod.cmx" "src/constructors.cmx src/constructors_plugin_mod.cmx" src/constructors_plugin.cmxs
-custom "$(CAMLLINK) -g -a -o src/constructors_plugin.cma src/constructors.cmo src/constructors_plugin_mod.cmo" "src/constructors.cmo src/constructors_plugin_mod.cmo" src/constructors_plugin.cma
-custom "$(COQBIN)coqc $(COQDEBUG) $(COQFLAGS) $*" "%.v $(CONSTRUCTORS_PLUGINOPT) $(CONSTRUCTORS_PLUGIN)" "%.vo %.glob"
CONSTRUCTORS_PLUGIN = "src/constructors_plugin.cma"
CONSTRUCTORS_PLUGINOPT = "src/constructors_plugin.cmxs"
COQDOC = "$(COQBIN)coqdoc -interpolate -utf8"
CAMLP4OPTIONS = "-loc loc"
src/constructors.ml4
src/constructors_plugin_mod.ml
src/constructors_plugin.mllib
theories/Dynamic.v
theories/Constructors.v
test-suite/constructortac.v