this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "A Why3 Package Manager"
4description:
5 "The why3find utility is designed for managing packages for why3 developpers and associated OCaml extracted code."
6maintainer: ["benjamin.jorge@cea.fr" "loic.correnson@cea.fr"]
7authors: [
8 "Loïc Correnson <loic.correnson@cea.fr>"
9 "Benjamin Jorge <benjamin.jorge@cea.fr>"
10]
11license: "LGPL-2.1-only"
12tags: ["topics" "why3"]
13homepage: "https://git.frama-c.com/pub/why3find"
14doc: "https://git.frama-c.com/pub/why3find"
15bug-reports: "https://git.frama-c.com/pub/why3find/issues"
16depends: [
17 "dune" {>= "3.5"}
18 "dune-site" {>= "3.5"}
19 "why3" {>= "1.7.0" & < "1.8.0"}
20 "ocaml" {>= "4.13.0"}
21 "yojson" {>= "1.7.0"}
22 "zmq" {>= "5.0.0"}
23 "terminal_size" {>= "0.2.0"}
24 "alt-ergo" {with-test & = "2.4.2"}
25 "odoc" {with-doc}
26]
27build: [
28 ["dune" "subst"] {dev}
29 [
30 "dune"
31 "build"
32 "-p"
33 name
34 "-j"
35 jobs
36 "--promote-install-files=false"
37 "@install"
38 "@runtest" {with-test}
39 "@doc" {with-doc}
40 ]
41 ["dune" "install" "-p" name "--create-install-files" name]
42]
43dev-repo: "git+https://git.frama-c.com:pub/why3find.git"
44url {
45 src:
46 "https://git.frama-c.com/pub/why3find/-/archive/1.0/why3find-1.0.tar.gz"
47 checksum: [
48 "md5=6db70cd5ee884a1014ed6243a3e83df9"
49 "sha512=329e0aac4a0e5f7fcd96c5bec90938e643f7ebab81e38ff1e877b85761139706d75395a2f20e1911136d63ec1d23853a3efec8c5d87dc94102748845cf722a9d"
50 ]
51}