Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

14 lines (13 sloc) 0.742 kb
-I src -R theories Reify
-custom "$(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -shared -o src/reify_plugin.cmxs src/reify.cmx src/reify_plugin_mod.cmx" "src/reify.cmx src/reify_plugin_mod.cmx" src/reify_plugin.cmxs
-custom "$(CAMLLINK) -g -a -o src/reify_plugin.cma src/reify.cmo src/reify_plugin_mod.cmo" "src/reify.cmo src/reify_plugin_mod.cmo" src/reify_plugin.cma
-custom "$(COQBIN)coqc $(COQDEBUG) $(COQFLAGS) $*" "%.v $(CONSTRUCTORS_PLUGINOPT) $(CONSTRUCTORS_PLUGIN)" "%.vo %.glob"
CONSTRUCTORS_PLUGIN = "src/reify_plugin.cma"
CONSTRUCTORS_PLUGINOPT = "src/reify_plugin.cmxs"
COQDOC = "$(COQBIN)coqdoc -interpolate -utf8"
CAMLP4OPTIONS = "-loc loc"
src/reify.ml
src/reify_plugin_mod.ml
theories/Dynamic.v
theories/Reify.v
test-suite/reify_prop.v
Jump to Line
Something went wrong with that request. Please try again.