Merge PR#436: [ocamlbuild] Update META for the vernac split.

1 files changed, 18 insertions, 5 deletions

diff --git a/META.coq b/META.coq
index 5be69d5fd..d83dab23d 100644
--- a/META.coq
+++ b/META.coq
@@ -56,7 +56,7 @@ package "vm" (
 
 package "kernel" (
 
-  description = "The Coq's Kernel"
+  description = "Coq's Kernel"
   version     = "8.6"
 
   directory   = "kernel"
@@ -95,7 +95,7 @@ package "intf" (
 
 package "engine" (
 
-  description = "Coq Libraries (vo) support"
+  description = "Coq Tactic Engine"
   version     = "8.6"
 
   requires    = "coq.library"
@@ -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"