Merge PR#504: [META] add support for ide libraries

1 files changed, 27 insertions, 0 deletions

diff --git a/META.coq b/META.coq
index 83134d4a0..074c2e457 100644
--- a/META.coq
+++ b/META.coq
@@ -252,6 +252,33 @@ package "highparsing" (
 
 )
 
+package "idetop" (
+
+  description = "Coq IDE Libraries"
+  version     = "8.7"
+
+  requires    = "coq.toplevel"
+  directory   = "ide"
+
+  archive(byte)    = "coqidetop.cma"
+  archive(native)  = "coqidetop.cmxa"
+
+)
+
+package "ide" (
+
+  description = "Coq IDE Libraries"
+  version     = "8.7"
+
+# XXX Add GTK
+  requires    = "coq.toplevel"
+  directory   = "ide"
+
+  archive(byte)    = "ide.cma"
+  archive(native)  = "ide.cmxa"
+
+)
+
 package "ltac" (
 
   description = "Coq LTAC Plugin"