Revision e40fd0dd lustrec.opam
| lustrec.opam | ||
|---|---|---|
| 49 | 49 |
build: [ |
| 50 | 50 |
["dune" "subst"] {pinned}
|
| 51 | 51 |
["autoconf"] |
| 52 |
["./configure" "--prefix=%{prefix}%" "share=%{share}%/%{name}%"]
|
|
| 52 |
["./configure" "--disable-salsa --disable-seal --disable-tiny --disable-zustre" "--prefix=%{prefix}%" "share=%{share}%/%{name}%"]
|
|
| 53 | 53 |
[ |
| 54 | 54 |
"dune" |
| 55 | 55 |
"build" |
Also available in: Unified diff