Stream: Coq Platform devs & users

Topic: Opam help


view this post on Zulip Michael Soegtrop (Dec 18 2020 at 20:28):

A question to the opam pros: I need to give a multi word configure argument with a lengthy condition. Is there a better way to do this than to repeat the condition for each word?. E.g.:

  "-toolprefix"        {os = "win32" & os-distribution = "cygwinports" & arch = "i686"}
  "x86_64-pc-cygwin-"  {os = "win32" & os-distribution = "cygwinports" & arch = "i686"}

Last updated: Jan 30 2023 at 10:03 UTC