Project

General

Profile

Revision 8658035f lustrec.opam

View differences:

lustrec.opam
49 49
build: [
50 50
  ["dune" "subst"] {pinned}
51 51
  ["autoconf"]
52
  ["./configure"  "--disable-salsa --disable-seal --disable-tiny --disable-zustre" "--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