We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents caa6b34 + 841645f commit 6244b38Copy full SHA for 6244b38
packages/headache/headache.1.06/opam
@@ -24,18 +24,19 @@ bug-reports: "https://github.com/Frama-C/headache/issues"
24
dev-repo: "git+https://github.com/Frama-C/headache.git"
25
26
depends: [
27
+ "ocaml"
28
"camomile"
29
"dune" {>= "1.6"}
30
+ "odoc" {with-doc}
31
]
32
33
build: [
- [ "dune" "build" "-p" "headache" ]
34
+ [
35
+ "dune" "build" "-p" name "-j" jobs
36
+ "@doc" {with-doc}
37
+ ]
38
39
-install: [
- [make "INSTALLDIR=%{prefix}%/bin" "install"]
- [make "DOC_INSTALLDIR=%{prefix}%/doc/headache" "install-doc"] {with-doc}
-]
40
url {
41
src: "https://github.com/Frama-C/headache/archive/v1.06.tar.gz"
42
checksum: [
0 commit comments