Merge PR #11539: [dune] [stdlib] Build the standard library natively with Dune.

Reviewed-by: Zimmi48

1 files changed, 0 insertions, 34 deletions

diff --git a/plugins/syntax/plugin_base.dune b/plugins/syntax/plugin_base.dune
deleted file mode 100644
index 512752135d..0000000000
--- a/plugins/syntax/plugin_base.dune
+++ /dev/null
@@ -1,34 +0,0 @@
-(library
- (name numeral_notation_plugin)
- (public_name coq.plugins.numeral_notation)
- (synopsis "Coq numeral notation plugin")
- (modules g_numeral numeral)
- (libraries coq.vernac))
-
-(library
- (name string_notation_plugin)
- (public_name coq.plugins.string_notation)
- (synopsis "Coq string notation plugin")
- (modules g_string string_notation)
- (libraries coq.vernac))
-
-(library
- (name r_syntax_plugin)
- (public_name coq.plugins.r_syntax)
- (synopsis "Coq syntax plugin: reals")
- (modules r_syntax)
- (libraries coq.vernac))
-
-(library
- (name int63_syntax_plugin)
- (public_name coq.plugins.int63_syntax)
- (synopsis "Coq syntax plugin: int63")
- (modules int63_syntax)
- (libraries coq.vernac))
-
-(library
- (name float_syntax_plugin)
- (public_name coq.plugins.float_syntax)
- (synopsis "Coq syntax plugin: float")
- (modules float_syntax)
- (libraries coq.vernac))