Idiomatic way of filtering cli flags with parameters [in opam file field]

[anton-trunov]

If I need to apply a parameterized cli flag like Coq's -native-compiler no I can do something like

build: [
["./configure" <lots-of-flags> "-native-compiler" {os = "macos"} "no" {os = "macos"}]
...
]

Sometimes people do e.g.

...
["./configure" ...] {os = "linux"}
["./configure" ...] {os = "macos"}
...

but I would prefer not to duplicate a sufficiently large list of cli options to ./configure.

Is there a way to mention {os = "macos"} just one time in the first snippet? Thank you in advance.

[hannesm]

as far as I know, this is "line-based", i.e.:

...
["./configure" "--my-long" "--argument-list"
 "--this-only-macos" "yes" {os = "macos"}
 "--this-only-linux" "no" {os = "linux"}
  ...
]
...

should work.

[anton-trunov]

Thank you so much, it worked!

[kit-ty-kate]

It does not seem to be the case. See build failures in ocaml/opam-repository#16148. I think this issue should be reopened.

EDIT: Since the error will change here was the error:

#=== ERROR while compiling coqide.8.11.1 ======================================#
# context              2.0.6 | linux/x86_64 | ocaml-base-compiler.4.10.0 | pinned(https://github.com/coq/coq/archive/V8.11.1.tar.gz)
# path                 ~/.opam/4.10/.opam-switch/build/coqide.8.11.1
# command              ~/.opam/4.10/.opam-switch/build/coqide.8.11.1/./configure -configdir /home/opam/.opam/4.10/lib/coq/config -prefix /home/opam/.opam/4.10 -mandir /home/opam/.opam/4.10/man -docdir /home/opam/.opam/4.10/doc -libdir /home/opam/.opam/4.10/lib/coq -datadir /home/opam/.opam/4.10/share/coq -native-compiler
# exit-code            2
# env-file             ~/.opam/log/coqide-23-4ff676.env
# output-file          ~/.opam/log/coqide-23-4ff676.out
### output ###
# ./configure.ml: option '-native-compiler' needs an argument.
# Available options for configure are:

[hannesm]

oops, sorry about that

[kit-ty-kate]

parenthesis seem to be working though ["cmd" ("-native-compiler" "no") {os = "macos"}]
EDIT: this doesn't work, nevermind

[anton-trunov]

@kit-ty-kate Right, it only worked on my macOS machine, sorry for that.

[rjbou]

The syntax, especially build: and <term>, don't permit it. The filter need to be repeated for each term.

[anton-trunov]

@rjbou I see, thank you. Can we keep this issue open as a feature request then?