diff options
Diffstat (limited to 'META.coq')
-rw-r--r-- | META.coq | 33 |
1 files changed, 14 insertions, 19 deletions
@@ -23,19 +23,27 @@ package "config" ( ) +package "clib" ( + description = "Base General Coq Library" + version = "8.7" + + directory = "clib" + requires = "str, unix, threads" + + archive(byte) = "clib.cma" + archive(native) = "clib.cmxa" +) + package "lib" ( - description = "Base Coq Library" + description = "Base Coq-Specific Library" version = "8.7" directory = "lib" - requires = "str, unix, threads, coq.config" + requires = "coq.clib, coq.config" - archive(byte) = "clib.cma" archive(byte) += "lib.cma" - - archive(native) = "clib.cmxa" archive(native) += "lib.cmxa" ) @@ -232,25 +240,12 @@ package "stm" ( ) -package "API" ( - - description = "Coq API" - version = "8.7" - - requires = "coq.intf, coq.stm" - directory = "API" - - archive(byte) = "API.cma" - archive(native) = "API.cmxa" - -) - package "ltac" ( description = "Coq LTAC Plugin" version = "8.7" - requires = "coq.API" + requires = "coq.stm" directory = "plugins/ltac" archive(byte) = "ltac_plugin.cmo" |