esy.json

{
  "name": "gillian-instantiation-template",
  "version": "0.0.0",
  "private": true,
  "description": "Template to use if you want to instantiate Gillian",
  "author": {
    "name": "Sacha-Elie Ayoun",
    "url": "https://www.doc.ic.ac.uk/~sja3417"
  },
  "homepage": "GillianPlatform.github.io",
  "license": "BSD-3-Clause",
  "esy": {
    "build": "dune build -p instantiation @install",
    "buildsInSource": "_build",
    "exportedEnv": {
      "INSTANTIATION_RUNTIME_PATH": {
        "scope": "global",
        "val": "#{self.share}/instantiation"
      }
    }
  },
  "scripts": {
    "watch": "dune build @install --watch",
    "format-check": "dune build @fmt",
    "format": "dune build @fmt --auto-promote",
    "test": "dune test -j 4",
    "clean": "dune clean"
  },
  "dependencies": {
    "@opam/cmdliner": "^1.0.4",
    "@opam/dune": "^3.0",
    "@opam/fmt": "^0.8.8",
    "@opam/ppx_deriving_yojson": "*",
    "@opam/ppxlib": ">=0.18.0",
    "@opam/printbox": "0.5",
    "@opam/yojson": "^1.7.0",
    "gillian": "GillianPlatform/gillian:gillian.json#ecc96d8feabbe6d18ba756f8e3b930054df74eb4",
    "ocaml": "^4.14.x"
  },
  "devDependencies": {
    "ocaml": "4.14.x",
    "@opam/ocaml-lsp-server": "*",
    "@opam/odoc": "*",
    "@opam/ocamlformat": "*",
    "@opam/utop": "*"
  },
  "resolutions": {
    "@opam/conf-sqlite3": "ManasJayanth/esy-sqlite:esy.json#28dfc73a8eda790213a8359ad708231069ed7079"
  }
}