mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
95ab570bae
This commit removes option "-y" to prevent messing with already installed packages. This requires to separate the pin stage from the actual installation. It also tests whether linking with the Why3 library works.
3 lines
142 B
OCaml
3 lines
142 B
OCaml
(* Trivial file to test whether linking with the Why3 library works. See #463. *)
|
|
let _ : Why3.Whyconf.config = Why3.Whyconf.read_config None
|