Commit c0e2fdb3 authored by François Bobot's avatar François Bobot

Add menhirLib to why3 META if needed

parent 031e19ef
...@@ -2,7 +2,7 @@ description = "Why3 library" ...@@ -2,7 +2,7 @@ description = "Why3 library"
version = "@VERSION@" version = "@VERSION@"
archive(byte) = "why3.cma" archive(byte) = "why3.cma"
archive(native) = "why3.cmxa" archive(native) = "why3.cmxa"
requires = "str unix num dynlink @ZIPLIB@" requires = "str unix num dynlink @ZIPLIB@ @MENHIRLIB@"
package "extract" ( package "extract" (
description = "Why3 support library for extracted code" description = "Why3 support library for extracted code"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment