Skip to content

Commit 0d1b33e

Browse files
committed
the opam file must keep reference to autoconf, especially for build
1 parent 16bbc85 commit 0d1b33e

File tree

1 file changed

+8
-6
lines changed

1 file changed

+8
-6
lines changed

coq-dpdgraph.opam

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,6 @@
1-
# This file was generated from `meta.yml`, please do not edit manually.
2-
# Follow the instructions on https://github.com/coq-community/templates to regenerate.
3-
41
opam-version: "2.0"
52
maintainer: "palmskog@gmail.com"
6-
version: "9.0"
3+
version: "dev"
74

85
homepage: "https://github.com/coq-community/coq-dpdgraph"
96
dev-repo: "git+https://github.com/coq-community/coq-dpdgraph.git"
@@ -16,8 +13,13 @@ Coq plugin that extracts the dependencies between Coq objects,
1613
and produces files with dependency information. Includes tools
1714
to visualize dependency graphs and find unused definitions."""
1815

19-
build: [make "-j%{jobs}%"]
20-
install: [make "install"]
16+
build: [
17+
["autoconf"] {dev}
18+
["./configure"]
19+
[make "-j%{jobs}%" "WARN_ERR="]
20+
]
21+
run-test: [make "test-suite"]
22+
install: [make "install" "BINDIR=%{bin}%"]
2123
depends: [
2224
"ocaml" {>= "4.05.0"}
2325
"coq" {>= "9.0" & < "9.1~"}

0 commit comments

Comments
 (0)