Skip to content

Commit f1fff30

Browse files
committed
The caqti package must dune install due to caqti.plugin.
1 parent 79b8cc9 commit f1fff30

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

caqti.opam

+2-1
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,8 @@ conflicts: [
3434
"result" {< "1.5"}
3535
]
3636
build: [
37-
["dune" "build" "-p" name "-j" jobs]
37+
["dune" "build" "-p" name "-j" jobs "@install"]
38+
["dune" "install" "-p" name "--create-install-file" name]
3839
["dune" "runtest" "-p" name "-j" jobs] {with-test}
3940
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
4041
]

0 commit comments

Comments
 (0)