esy.odoc-test.json

{
  "name": "gillian-platform",
  "version": "0.0.0",
  "private": true,
  "description": "Gillian Core and maintained instantiations",
  "author": {
    "name": "Verified Trustworthy Software Specification Group at Imperial College",
    "url": "https://vtss.doc.ic.ac.uk"
  },
  "homepage": "GillianDev.github.io",
  "license": "BSD-3-Clause",
  "esy": {
    "build": "dune build @install --promote-install-files",
    "install": [
      "esy-installer gillian.install",
      "esy-installer gillian-js.install",
      "esy-installer gillian-c.install",
      "esy-installer wisl.install",
      "esy-installer kanillian.install"
    ],
    "release": {
      "bin": [
        "kanillian",
        "gillian-js",
        "gillian-c",
        "wisl"
      ],
      "includePackages": [
        "root",
        "@opam/z3",
        "compcert"
      ]
    },
    "buildsInSource": "_build",
    "exportedEnv": {
      "GILLIAN_JS_RUNTIME_PATH": {
        "scope": "global",
        "val": "#{self.share}/gillian-js"
      },
      "WISL_RUNTIME_PATH": {
        "val": "#{self.share}/wisl",
        "scope": "global"
      },
      "GILLIAN_C_RUNTIME_PATH": {
        "scope": "global",
        "val": "#{self.share}/gillian-c"
      },
      "KANILLIAN_RUNTIME_PATH": {
        "scope": "global",
        "val": "#{self.share}/kanillian"
      },
      "CPATH": {
        "scope": "global",
        "val": "#{self.share / 'include' : $CPATH}"
      }
    }
  },
  "scripts": {
    "format-check": "dune build @fmt",
    "format": "dune build @fmt --auto-promote",
    "js:init:env": "Gillian-JS/scripts/setup_environment.sh",
    "c:init:env": "Gillian-C/scripts/setup_environment.sh",
    "wisl:init:env": "wisl/scripts/setup_environment.sh",
    "init:env": "sh -c \"esy js:init:env && esy c:init:env && esy wisl:init:env\"",
    "test": "dune test",
    "install-githooks": "./githooks/install.ml",
    "clean-githooks": "./githooks/clean.ml",
    "clean": "dune clean",
    "watch": "dune build @install --promote-install-files --watch",
    "odoc": "sh -c \"esy x dune build @doc && ./scripts/sync_odoc.sh > /dev/null\"",
    "odoc:watch:build": "dune build @doc --watch",
    "odoc:watch:sync": "sh -c \"./scripts/watch_odoc.sh > /dev/null\"",
    "odoc:watch": "concurrently -n odoc,sync -c cyan,blue \"esy odoc:watch:build\" \"esy odoc:watch:sync\"",
    "sphinx": "sphinx-build sphinx _docs/sphinx/",
    "sphinx:watch": "sphinx-autobuild sphinx _docs/sphinx/",
    "docs": "./scripts/build_docs.sh",
    "docs:watch": "concurrently -n odoc,odoc-sync,sphinx -c cyan,blue,yellow \"esy odoc:watch:build\" \"esy odoc:watch:sync\" \"esy sphinx:watch\""
  },
  "dependencies": {
    "@opam/fpath": "*",
    "@opam/alcotest": "1.0.1",
    "@opam/cmdliner": "^1.1.1",
    "@opam/dap": "1.0.6",
    "@opam/dune": "^3.0",
    "@opam/fmt": "^0.8.8",
    "@opam/flow_parser": "GillianPlatform/flow:flow_parser.opam#dfa43df0b8776f22e5fb2629a22d69a6d302e241",
    "@opam/memtrace": "0.2.3",
    "@opam/menhir": "20231231",
    "@opam/ppx_deriving_yojson": "*",
    "@opam/ppxlib": ">=0.18.0",
    "@opam/printbox-text": "^0.6.1",
    "@opam/sqlite3": "5.0.2",
    "@opam/visitors": ">=2.3",
    "@opam/yojson": "^1.7.0",
    "@opam/zarith": ">=1.12",
    "@opam/z3": "GillianPlatform/esy-z3#e8b2ce266d5d8bd67c54bd226c6301f7b180bb09",
    "compcert": "GillianPlatform/CompCert#c20a63da768c2c59e114e074ae63cb60610d714b",
    "ocaml": "5.1.x"
  },
  "devDependencies": {
    "ocaml": "5.1.x",
    "@opam/cmitomli": "*",
    "@opam/fileutils": "*",
    "@opam/utop": "*",
    "@opam/ocaml-lsp-server": "^1.17.0",
    "@opam/odoc": "*",
    "@opam/odoc-parser": "*",
    "@opam/ocamlformat": "0.26.1",
    "@opam/ocamlfind": "*",
    "@opam/feather": "*",
    "concurrently": "^7.6.0"
  },
  "resolutions": {
    "@opam/conf-sqlite3": "ManasJayanth/esy-sqlite:esy.json#28dfc73a8eda790213a8359ad708231069ed7079",
    "@opam/odoc": "link:../odoc/odoc.opam",
    "@opam/odoc-parser": "link:../odoc/odoc-parser.opam",
    "esy-gmp": "GillianPlatform/esy-gmp:package.json#d68dce1a9aacc0534cca93d84d2b7f9c8105ee87"
  }
}