Revision dccec723
Added by LĂ©lio Brun over 3 years ago
lustrec.opam | ||
---|---|---|
25 | 25 |
] |
26 | 26 |
depopts: ["z3"] |
27 | 27 |
build: [ |
28 |
["dune" "subst" "--root" "."] {dev}
|
|
28 |
["dune" "subst"] {dev} |
|
29 | 29 |
[ |
30 | 30 |
"dune" |
31 | 31 |
"build" |
... | ... | |
33 | 33 |
name |
34 | 34 |
"-j" |
35 | 35 |
jobs |
36 |
"--promote-install-files" |
|
37 |
"false" |
|
36 |
"--promote-install-files=false" |
|
38 | 37 |
"@install" |
39 | 38 |
"@runtest" {with-test} |
40 | 39 |
"@doc" {with-doc} |
Also available in: Unified diff
a version that almost work for the k-inuctive two_counters example