From 1fbc3afc7acd9629453af6276479c81e79f19d39 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Mon, 20 Feb 2017 00:15:19 +0100 Subject: [ocamlbuild] Update meta for the vernac split. --- META.coq | 19 ++++++++++++++++--- 1 file changed, 16 insertions(+), 3 deletions(-) diff --git a/META.coq b/META.coq index 5be69d5fd..a71af2f10 100644 --- a/META.coq +++ b/META.coq @@ -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" -- cgit v1.2.3