diff options
| author | letouzey | 2009-04-03 14:51:52 +0000 |
|---|---|---|
| committer | letouzey | 2009-04-03 14:51:52 +0000 |
| commit | 141a21da29216a43eb067ef0fcb9c7d914d45bdc (patch) | |
| tree | 0450a0d679dd04412427b452cd8acfcaa8225d64 /plugins/pluginsbyte.itarget | |
| parent | b2d7dfd0ab28846748fe2f903ee567e7705623da (diff) | |
Ocamlbuild: improvements suggested by N. Pouillard
* Import of Coq_config via myocamlbuild_config.ml, instead of my get_env
* As a consequence, we enrich this Coq_config with stuff that was
only in config/Makefile
* replace the big ugly find by some dependencies against source files
* by the way: build csdpcert, with the right aliases.
I've tried to escape things properly for windows in ./configure,
but this isn't fully tested yet.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12046 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/pluginsbyte.itarget')
| -rw-r--r-- | plugins/pluginsbyte.itarget | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/plugins/pluginsbyte.itarget b/plugins/pluginsbyte.itarget new file mode 100644 index 0000000000..7e0a777874 --- /dev/null +++ b/plugins/pluginsbyte.itarget @@ -0,0 +1,25 @@ +field/field_plugin.cma +setoid_ring/newring_plugin.cma +extraction/extraction_plugin.cma +firstorder/ground_plugin.cma +rtauto/rtauto_plugin.cma +interface/coqinterface_plugin.cma +interface/coqparser_plugin.cma +fourier/fourier_plugin.cma +romega/romega_plugin.cma +omega/omega_plugin.cma +micromega/micromega_plugin.cma +dp/dp_plugin.cma +xml/xml_plugin.cma +subtac/subtac_plugin.cma +ring/ring_plugin.cma +cc/cc_plugin.cma +groebner/groebner_plugin.cma +funind/recdef_plugin.cma +syntax/ascii_syntax_plugin.cma +syntax/nat_syntax_plugin.cma +syntax/numbers_syntax_plugin.cma +syntax/r_syntax_plugin.cma +syntax/string_syntax_plugin.cma +syntax/z_syntax_plugin.cma +quote/quote_plugin.cma |