owi/owi.opam.template at main · OCamlPro/owi · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
available: (arch = "x86_32" | arch = "x86_64" | arch = "arm64") & os != "win32" & os != "macos" & os != "homebrew"
depexts: [
  ["mdbook"] { with-dev-setup }
  ["clang" "golang" "llvm" "lld" "rustc"]  {os-family = "debian"}
  ["rust-llvm" "libstd-rust-dev-wasm32"] {os-distribution = "debian"}
  ["lld" "rustup" "zig"] {os-distribution = "ubuntu"}
  ["rustup" "tinygo" "zig"] {os-distribution = "fedora"}
  ["rust" "tinygo" "zig"] {os-distribution = "arch"}
]
post-messages: [
  "Thank you for installing Owi!"
  "To fully utilize Owi, consider installing a solver such as Z3"
  "Join our community on Zulip: https://owi.zulipchat.com/"
  "Explore tutorials and documentation here: https://ocamlpro.github.io/owi/"
]
pin-depends: [
  ["landmarks.1.5" "git+https://github.com/hra687261/landmarks.git#cfc017b604f2c41ac0d8841f30a0b55b0d89cbaf"]
  ["landmarks-ppx.1.5" "git+https://github.com/hra687261/landmarks.git#cfc017b604f2c41ac0d8841f30a0b55b0d89cbaf"]
]