Project

General

Profile

Revision a5484aa2

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"  "--prefix=%{prefix}%" "share=%{share}%/%{name}%"]
53 53
  [
54 54
    "dune"
55 55
    "build"

Also available in: Unified diff