@@ -48,11 +48,11 @@ depends: [
4848 # --- the following are "optional runtime dependencies" ---
4949 # they're listed here mostly for documentation ; one can export
5050 # OPAMVAR_cataladevmode=1 before installation to automatically get them
51- "conf-npm" {post & cataladevmode}
52- "conf-python-3-dev" {post & cataladevmode}
53- "conf-openjdk" {post & cataladevmode}
54- "conf-pandoc" {post & cataladevmode}
55- "z3" {post & cataladevmode}
51+ "conf-npm" {post & ?cataladevmode & cataladevmode}
52+ "conf-python-3-dev" {post & ?cataladevmode & cataladevmode}
53+ "conf-openjdk" {post & ?cataladevmode & cataladevmode}
54+ "conf-pandoc" {post & ?cataladevmode & cataladevmode}
55+ "z3" {post & ?cataladevmode & cataladevmode}
5656]
5757depopts: ["z3"]
5858conflicts: [
@@ -67,9 +67,9 @@ depexts: [
6767 ["groff"] {with-doc}
6868 # --- the following are "optional runtime dependencies" ---
6969 # See above
70- ["python3-pip"] {cataladevmode & os-family = "debian"}
71- ["py3-pip" "py3-pygments"] {cataladevmode & os-distribution = "alpine"}
72- ["python-pygments"] {cataladevmode & os-family = "arch"}
70+ ["python3-pip"] {?cataladevmode & cataladevmode & os-family = "debian"}
71+ ["py3-pip" "py3-pygments"] {?cataladevmode & cataladevmode & os-distribution = "alpine"}
72+ ["python-pygments"] {?cataladevmode & cataladevmode & os-family = "arch"}
7373]
7474dev-repo: "git+https://github.com/CatalaLang/catala"
7575url {
0 commit comments