META.in 435 Bytes
Newer Older
1 2 3 4
description = "Why3 library"
version = "@VERSION@"
archive(byte) = "why3.cma"
archive(native) = "why3.cmxa"
François Bobot's avatar
François Bobot committed
5
plugin(native) = "why3.cmxs"
6
requires = "str unix num dynlink menhirLib @ZIPLIB@"
7 8 9 10 11 12 13

package "extract" (
  description = "Why3 support library for extracted code"
  version = "@VERSION@"
  requires = "@BIGINTPKG@"
  archive(byte) = "why3extract.cma"
  archive(native) = "why3extract.cmxa"
François Bobot's avatar
François Bobot committed
14
  plugin(native) = "why3extract.cmxs"
15
)