META.in

description = "Modular and Open Platform for Static Analysis"
version = "@version@"

package "utils" (
        description = "MOPSA utilities"
        requires = "str yojson gmp apron apron.boxMPQ apron.octMPQ apron.polkaMPQ zarith"
        version = "@version@"
        archive(byte) = "MopsaUtils.cma"
        archive(native) = "MopsaUtils.cmxa"
)

package "universal_parser" (
        description = "Parser for MOPSA's Universal toy-language"
        requires = "str yojson gmp apron apron.boxMPQ apron.octMPQ apron.polkaMPQ zarith mopsa.utils"
        version = "@version@"
        archive(byte) = "MopsaUniversalParser.cma"
        archive(native) = "MopsaUniversalParser.cmxa"
)

package "clang_parser" (
        description = "Clang-based C parser"
        requires = "str yojson gmp apron apron.boxMPQ apron.octMPQ apron.polkaMPQ zarith mopsa.utils"
        version = "@version@"
        archive(byte) = "MopsaClangParser.cma"
        archive(native) = "MopsaClangParser.cmxa"
)

package "cstub_parser" (
        description = "Parser for MOPSA's language for C stubs"
        requires = "str yojson gmp apron apron.boxMPQ apron.octMPQ apron.polkaMPQ zarith mopsa.utils"
        version = "@version@"
        archive(byte) = "MopsaCStubsParser.cma"
        archive(native) = "MopsaCStubsParser.cmxa"
)

package "python_parser" (
        description = "Parser for Python 3.x"
        requires = "str yojson gmp apron apron.boxMPQ apron.octMPQ apron.polkaMPQ zarith mopsa.utils"
        version = "@version@"
        archive(byte) = "MopsaPythonParser.cma"
        archive(native) = "MopsaPythonParser.cmxa"
)

package "analyzer" (
        description = "MOPSA analyzer engine"
        requires = "str yojson gmp apron apron.boxMPQ apron.octMPQ apron.polkaMPQ zarith @meta_analyzer_requires@"
        version = "@version@"
        archive(byte) = "MopsaAnalyzer.cma"
        archive(native) = "MopsaAnalyzer.cmxa"
)