updated opam
This commit is contained in:
parent
57f8ac4437
commit
aef140ce26
5
opam
5
opam
|
@ -6,7 +6,10 @@ homepage: "https://github.com/diml/utop"
|
||||||
bug-reports: "https://github.com/diml/utop/issues"
|
bug-reports: "https://github.com/diml/utop/issues"
|
||||||
dev-repo: "git://github.com/diml/utop.git"
|
dev-repo: "git://github.com/diml/utop.git"
|
||||||
build: [
|
build: [
|
||||||
["./configure" "--prefix" prefix "--%{camlp4:enable}%-camlp4"]
|
["./configure"
|
||||||
|
"--prefix" prefix
|
||||||
|
"--%{camlp4:enable}%-camlp4"
|
||||||
|
"--%{ppx_tools:enable}-interact"]
|
||||||
[make]
|
[make]
|
||||||
]
|
]
|
||||||
install: [
|
install: [
|
||||||
|
|
Loading…
Reference in New Issue