Add a flag to build utop-camlp4 conditionally.
This commit is contained in:
parent
8e061eced3
commit
7c8a68eea6
6
_oasis
6
_oasis
|
@ -27,6 +27,10 @@ Description:
|
||||||
# | The toplevel |
|
# | The toplevel |
|
||||||
# +-------------------------------------------------------------------+
|
# +-------------------------------------------------------------------+
|
||||||
|
|
||||||
|
Flag camlp4
|
||||||
|
Description: camlp4 support
|
||||||
|
Default: true
|
||||||
|
|
||||||
Library "optcomp"
|
Library "optcomp"
|
||||||
Install: false
|
Install: false
|
||||||
Path: syntax
|
Path: syntax
|
||||||
|
@ -51,6 +55,8 @@ Library utop
|
||||||
XMETARequires: findlib, lambda-term
|
XMETARequires: findlib, lambda-term
|
||||||
|
|
||||||
Library "utop-camlp4"
|
Library "utop-camlp4"
|
||||||
|
Build$: flag(camlp4)
|
||||||
|
Install$: flag(camlp4)
|
||||||
FindlibName: camlp4
|
FindlibName: camlp4
|
||||||
FindlibParent: utop
|
FindlibParent: utop
|
||||||
Path: src/camlp4
|
Path: src/camlp4
|
||||||
|
|
2
opam
2
opam
|
@ -4,7 +4,7 @@ authors: ["Jérémie Dimino"]
|
||||||
homepage: "https://github.com/diml/utop"
|
homepage: "https://github.com/diml/utop"
|
||||||
license: "BSD3"
|
license: "BSD3"
|
||||||
build: [
|
build: [
|
||||||
["./configure" "--prefix" prefix]
|
["./configure" "--prefix" prefix "--%{camlp4:enable}%-camlp4"]
|
||||||
[make]
|
[make]
|
||||||
[make "install"]
|
[make "install"]
|
||||||
]
|
]
|
||||||
|
|
Loading…
Reference in New Issue