Stream: Coq Platform devs & users

Topic: Opam question

Michael Soegtrop (Aug 11 2020 at 13:41):

@Karl Palmskog : I have an opam question: is there a less silly way to ask if a package is installed than [ -z "$(opam show --list-files coq-gappa)" ]

Karl Palmskog (Aug 11 2020 at 13:45):

@Michael Soegtrop yes, there is %{package:installed}, for example:

"--with-ocaml-freestanding" "%{ocaml-freestanding:installed}%"

Michael Soegtrop (Aug 11 2020 at 13:50):

I meant on the shell but you gave the right hint: [ $(opam var "coq-gappa:installed") == "true" ] works!

Last updated: Jun 03 2023 at 05:01 UTC