package.json

{
  "name": "esy-z3",
  "version": "4.8.12000",
  "description": "z3 packaged for esy",
  "source": "https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.12.3.tar.gz#md5:a18ea8cc1ba59d87a6ea966227732038",
  "override": {
    "exportedEnv": {
      "DYLD_LIBRARY_PATH": {
        "val": "#{self.lib / 'z3' : $DYLD_LIBRARY_PATH}",
        "scope": "global"
      },
      "LD_LIBRARY_PATH": {
        "val": "#{self.lib / 'z3' : $LD_LIBRARY_PATH}",
        "scope": "global"
      }
    },
    "buildsInSource": true,
    "build": [
      [
        "python3",
        "scripts/mk_make.py",
        "--prefix=#{self.install}",
        "--ml"
      ],
      [
        "make",
        "-C",
        "build",
        "-j",
        "4"
      ],
      [
        "sh",
        "-c",
        "cp build/libz3* build/api/ml/"
      ]
    ],
    "install": [
      [
        "sh",
        "-c",
        "ocamlfind install z3 build/api/ml/META -nodll build/api/ml/*"
      ]
    ],
    "dependencies": {
      "@opam/zarith": "*",
      "@opam/conf-python-3-7": "*",
      "@opam/ocamlfind": "*",
      "@opam/conf-gmp": "*",
      "ocaml": ">=4.3.0"
    }
  }
}