diff options
| author | Pierre Letouzey | 2016-06-02 01:22:41 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-08 14:32:56 +0200 |
| commit | 1d6d0060330197896748739a625d0b1c7f083da2 (patch) | |
| tree | 27da3d5329a91fc262f52e887ee31fa0c37c20e3 /plugins/pluginsbyte.itarget | |
| parent | 2e79ed74824db4697ab1807b6210b3d4097c9fda (diff) | |
Officially discontinue the experimental coq build via ocamlbuild
It has been accidentaly broken since early 2014 (and especially
in 8.5), no easy repair, I won't devote any more hours to this stuff.
Moreover no one seems to care apart from Emilio, but he's ok to work
on this in a separate repository or branch.
I left a dev/doc/ocamlbuild.txt file with a few words about this
experiment.
Diffstat (limited to 'plugins/pluginsbyte.itarget')
| -rw-r--r-- | plugins/pluginsbyte.itarget | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/plugins/pluginsbyte.itarget b/plugins/pluginsbyte.itarget deleted file mode 100644 index d8752f8b80..0000000000 --- a/plugins/pluginsbyte.itarget +++ /dev/null @@ -1,21 +0,0 @@ -btauto/btauto_plugin.cma -setoid_ring/newring_plugin.cma -extraction/extraction_plugin.cma -decl_mode/decl_mode_plugin.cma -firstorder/ground_plugin.cma -rtauto/rtauto_plugin.cma -fourier/fourier_plugin.cma -romega/romega_plugin.cma -omega/omega_plugin.cma -micromega/micromega_plugin.cma -cc/cc_plugin.cma -nsatz/nsatz_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 -derive/derive_plugin.cma
\ No newline at end of file |