config detect output
I have problems having a package accepted on https://github.com/ocaml/opam-repository because it includes tests that rely on why3 and a specific prover. For calling this prover, I need to run why3 config detect first. But, why3 config detect writes in ~/.why3.conf which is read-only in opam-repository CI:
- Save config to /home/opam/.why3.conf
-
- anomaly: Sys_error("/home/opam/.why3.conf: Read-only file system")
How to solve this problem?
- Is it possible to have why3 config detects write on the stdout or in a user-defined file? why3 config -C= allows to read any configuration file.
- Does the API provide a function similar to why3 config detect, or why3 config add-prover, but without modifying ~/.why3.conf?
Other remark: the command-line doc doesn't mention that why3 config detect writes in ~/.why3.conf.
15:16 ~/lambdapi (release) why3 config detect --help
Usage: why3 config detect [options]
Detect installed provers.
[...]