LoopInvGen/LoopInvGen.opam at master · millstein/LoopInvGen · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
opam-version: "2.0"

name: "LoopInvGen"
version: "1.0"
synopsis: "A sufficient loop invariant generator"

maintainer: "Saswat Padhi <saswat.sourav@gmail.com>"
authors: "Saswat Padhi <saswat.sourav@gmail.com>"
homepage: "http://saswatpadhi.github.io/"

bug-reports: "https://github.com/SaswatPadhi/LoopInvGen/issues"
license: "MIT"
dev-repo: "git+https://github.com:SaswatPadhi/LoopInvGen.git"

build: [
  [ "dune" "build" "@NoLog" ]
  [ "dune" "build" "-p" name "-j" jobs ]
  [
    "dune" "build" "test/Runner.exe"
    {with-test}
  ]
]

depends: [
  "ocaml"         {>= "4.08"}
  "dune"          {>= "1.11" & build}
  "alcotest"      {>= "0.8" & with-test}
  "core"          {>= "v0.13" & <= "v0.14"}
]