diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-02-20 00:15:19 +0100 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-02-20 00:15:19 +0100 |
commit | 1fbc3afc7acd9629453af6276479c81e79f19d39 (patch) | |
tree | 5f75bdf4e6eb1446762fbec3c717449f067f1d51 /META.coq | |
parent | 5efa4a5de54b681981c361fc679343790597a5d5 (diff) |
[ocamlbuild] Update meta for the vernac split.
Diffstat (limited to 'META.coq')
-rw-r--r-- | META.coq | 19 |
1 files changed, 16 insertions, 3 deletions
@@ -172,7 +172,7 @@ package "parsing" ( package "printing" ( - description = "Coq Printing Libraries" + description = "Coq Printing Engine" version = "8.6" requires = "coq.parsing" @@ -185,7 +185,7 @@ package "printing" ( package "tactics" ( - description = "Coq Tactics" + description = "Coq Basic Tactics" version = "8.6" requires = "coq.printing" @@ -196,12 +196,25 @@ package "tactics" ( ) +package "vernac" ( + + description = "Coq Vernacular Interpreter" + version = "8.6" + + requires = "coq.tactics" + directory = "vernac" + + archive(byte) = "vernac.cma" + archive(native) = "vernac.cmxa" + +) + package "stm" ( description = "Coq State Transactional Machine" version = "8.6" - requires = "coq.tactics" + requires = "coq.vernac" directory = "stm" archive(byte) = "stm.cma" |