From f58df8669c60dfdc6092810da13707cb965cf151 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 22 Mar 2017 21:26:25 +0100
Subject: [META] add support for ide libraries

This makes sense for clients willing to link to richpp.
---
 META.coq | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/META.coq b/META.coq
index 83134d4a08..074c2e457b 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"
-- 
cgit v1.2.3