Commit 8bf3ef19 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

META information for why3.extract

parent 68385317
...@@ -364,8 +364,10 @@ fi ...@@ -364,8 +364,10 @@ fi
if test "$enable_zarith" = yes; then if test "$enable_zarith" = yes; then
BIGINTLIB=zarith BIGINTLIB=zarith
BIGINTPKG=zarith
else else
BIGINTLIB=nums BIGINTLIB=nums
BIGINTPKG=num
fi fi
# checking for camlzip # checking for camlzip
...@@ -731,6 +733,7 @@ AC_SUBST(META_OCAMLGRAPH) ...@@ -731,6 +733,7 @@ AC_SUBST(META_OCAMLGRAPH)
AC_SUBST(enable_zarith) AC_SUBST(enable_zarith)
AC_SUBST(BIGINTINCLUDE) AC_SUBST(BIGINTINCLUDE)
AC_SUBST(BIGINTLIB) AC_SUBST(BIGINTLIB)
AC_SUBST(BIGINTPKG)
AC_SUBST(enable_zip) AC_SUBST(enable_zip)
AC_SUBST(ZIPINCLUDE) AC_SUBST(ZIPINCLUDE)
......
...@@ -3,3 +3,11 @@ version = "@VERSION@" ...@@ -3,3 +3,11 @@ 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@"
package "extract" (
description = "Why3 support library for extracted code"
version = "@VERSION@"
requires = "@BIGINTPKG@"
archive(byte) = "why3extract.cma"
archive(native) = "why3extract.cmxa"
)
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