diff options
| author | Enrico Tassi | 2019-06-19 11:28:26 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-06-19 11:32:51 +0200 |
| commit | ef41b7ed635902b3819b376f489f04841e1afc72 (patch) | |
| tree | 83ef3b4a6d9cdaee69f5639119951bfd3e6bf447 | |
| parent | bcc790edb63af62022699c8005b522b45f0e81cd (diff) | |
[META] fix dependencies of coq.ide
| -rw-r--r-- | META.coq.in | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/META.coq.in b/META.coq.in index ef5de8da2b..f7922e0ac2 100644 --- a/META.coq.in +++ b/META.coq.in @@ -244,14 +244,12 @@ package "idetop" ( ) -# XXX Depends on way less than toplevel package "ide" ( description = "Coq IDE Libraries" version = "8.10" -# XXX Add GTK - requires = "coq.toplevel" + requires = "coq.lib, coq.ideprotocol, lablgtk3, lablgtk3-sourceview3" directory = "ide" archive(byte) = "ide.cma" @@ -259,6 +257,19 @@ package "ide" ( ) +package "ideprotocol" ( + + description = "Coq IDE protocol" + version = "8.10" + + requires = "coq.toplevel" + directory = "ide/protocol" + + archive(byte) = "ideprotocol.cma" + archive(native) = "ideprotocol.cmxa" + +) + package "plugins" ( description = "Coq built-in plugins" |