description = "Numerical abstract domains"
version = "0.9.15"
requires = "apron.apron"
package "apron" (
requires = "gmp"
archive(native,debug) = "apron.d.cmxa"
archive(byte) = "apron.cma"
archive(byte,plugin) = "apron.cma"
archive(native) = "apron.cmxa"
archive(native,plugin) = "apron.cmxs"
)
package "boxD" (
requires = "apron.apron"
archive(byte) = "boxD.cma"
archive(byte,plugin) = "boxD.cma"
archive(native) = "boxD.cmxa"
archive(native,plugin) = "boxD.cmxs"
archive(native,debug) = "boxD.d.cmxa"
)
package "boxMPQ" (
requires = "apron.apron"
archive(byte) = "boxMPQ.cma"
archive(byte,plugin) = "boxMPQ.cma"
archive(native) = "boxMPQ.cmxa"
archive(native,plugin) = "boxMPQ.cmxs"
archive(native,debug) = "boxMPQ.d.cmxa"
)
package "boxMPFR" (
requires = "apron.apron"
archive(byte) = "boxMPFR.cma"
archive(byte,plugin) = "boxMPFR.cma"
archive(native) = "boxMPFR.cmxa"
archive(native,plugin) = "boxMPFR.cmxs"
archive(native,debug) = "boxMPFR.d.cmxa"
)
package "octD" (
requires = "apron.apron"
archive(byte) = "octD.cma"
archive(byte,plugin) = "octD.cma"
archive(native) = "octD.cmxa"
archive(native,plugin) = "octD.cmxs"
archive(native,debug) = "octD.d.cmxa"
)
package "octMPQ" (
requires = "apron.apron"
archive(byte) = "octMPQ.cma"
archive(byte,plugin) = "octMPQ.cma"
archive(native) = "octMPQ.cmxa"
archive(native,plugin) = "octMPQ.cmxs"
archive(native,debug) = "octMPQ.d.cmxa"
)
package "polkaMPQ" (
requires = "apron.apron"
archive(native,debug) = "polkaMPQ.d.cmxa"
archive(byte) = "polkaMPQ.cma"
archive(byte,plugin) = "polkaMPQ.cma"
archive(native) = "polkaMPQ.cmxa"
archive(native,plugin) = "polkaMPQ.cmxs"
)
package "polkaRll" (
requires = "apron.apron"
archive(native,debug) = "polkaRll.d.cmxa"
archive(byte) = "polkaRll.cma"
archive(byte,plugin) = "polkaRll.cma"
archive(native) = "polkaRll.cmxa"
archive(native,plugin) = "polkaRll.cmxs"
)
package "t1pD" (
requires = "apron.apron"
archive(native,debug) = "t1pD.d.cmxa"
archive(byte) = "t1pD.cma"
archive(byte,plugin) = "t1pD.cma"
archive(native) = "t1pD.cmxa"
archive(native,plugin) = "t1pD.cmxs"
)
package "t1pMPQ" (
requires = "apron.apron"
archive(native,debug) = "t1pMPQ.d.cmxa"
archive(byte) = "t1pMPQ.cma"
archive(byte,plugin) = "t1pMPQ.cma"
archive(native) = "t1pMPQ.cmxa"
archive(native,plugin) = "t1pMPQ.cmxs"
)
package "t1pMPFR" (
requires = "apron.apron"
archive(native,debug) = "t1pMPFR.d.cmxa"
archive(byte) = "t1pMPFR.cma"
archive(byte,plugin) = "t1pMPFR.cma"
archive(native) = "t1pMPFR.cmxa"
archive(native,plugin) = "t1pMPFR.cmxs"
)
package "avoD" (
requires = "apron.apron"
archive(byte) = "avoD.cma"
archive(byte,plugin) = "avoD.cma"
archive(native) = "avoD.cmxa"
archive(native,plugin) = "avoD.cmxs"
archive(native,debug) = "avoD.d.cmxa"
)
package "avoMPQ" (
requires = "apron.apron"
archive(byte) = "avoMPQ.cma"
archive(byte,plugin) = "avoMPQ.cma"
archive(native) = "avoMPQ.cmxa"
archive(native,plugin) = "avoMPQ.cmxs"
archive(native,debug) = "avoMPQ.d.cmxa"
)
package "fppD" (
requires = "apron.apron"
archive(byte) = "fppD.cma"
archive(byte,plugin) = "fppD.cma"
archive(native) = "fppD.cmxa"
archive(native,plugin) = "fppD.cmxs"
archive(native,debug) = "fppD.d.cmxa"
)package "ppl" (
requires = "apron.apron"
archive(byte) = "ppl.cma"
archive(byte,plugin) = "ppl.cma"
archive(native) = "ppl.cmxa"
archive(native,plugin) = "ppl.cmxs"
archive(native,debug) = "ppl.d.cmxa"
)
package "polkaGrid" (
requires = "apron.apron apron.ppl apron.polkaMPQ"
archive(byte) = "polkaGrid.cma"
archive(byte,plugin) = "polkaGrid.cma"
archive(native) = "polkaGrid.cmxa"
archive(native,plugin) = "polkaGrid.cmxs"
archive(native,debug) = "polkaGrid.d.cmxa"
)
package "pplite" (
requires = "apron.apron"
archive(byte) = "pplite.cma"
archive(byte,plugin) = "pplite.cma"
archive(native) = "pplite.cmxa"
archive(native,plugin) = "pplite.cmxs"
archive(native,debug) = "pplite.d.cmxa"
)
