/
opam
45 lines (45 loc) · 1.28 KB
/
opam
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
opam-version: "2.0"
synopsis: "CAISAR's intermediate representation"
maintainer: [
"LAISER team, Software Safety and Security Laboratory, CEA-List"
]
authors: ["LAISER team, Software Safety and Security Laboratory, CEA-List"]
license: "LGPL-2.1-only"
homepage: "https://git.frama-c.com/pub/caisar"
doc: "https://git.frama-c.com/pub/caisar"
bug-reports: "https://git.frama-c.com/pub/caisar/issues"
depends: [
"dune" {>= "2.9"}
"ocaml" {>= "4.13"}
"base" {>= "v0.14.0"}
"ocamlgraph" {>= "1.8.8"}
"ppx_inline_test" {>= "0.12.0"}
"ppx_deriving" {>= "4.4.1"}
"odoc" {with-doc}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"--promote-install-files=false"
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
["dune" "install" "-p" name "--create-install-files" name]
]
dev-repo: "git+https://git.frama-c.com/pub/caisar.git"
url {
src:
"https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/0.2/caisar-0.2.tbz"
checksum: [
"sha256=e56829b9e2564c1cd0ab01798cc2b3c9b8887be0180b1e260b6e93940bf5e069"
"sha512=fcd1b1bf4b32d4ece982acab59710c8f1fe33784f5e4a15bd85a14cd1b7db450f529a0bfca31009a919008312149a25c6ea7ec3272d524a1e4c026eeeff7d5a3"
]
}
x-commit-hash: "c056742afad31eed9fdea0f89f8143f0f0cb382e"