diff --git a/opam b/opam index 276292fd..033a7efa 100644 --- a/opam +++ b/opam @@ -6,7 +6,7 @@ bug-reports: "https://github.com/diml/lambda-term/issues" dev-repo: "git://github.com/diml/lambda-term.git" license: "BSD3" build: [ - ["./configure" "--prefix" prefix --disable-examples] + ["./configure" "--prefix" prefix "--disable-examples"] [make] ] install: [[make "install"]]