ID0002466: **This issue was created automatically from Mantis Issue 2466. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002466 | Frama-C | Opam | public | 2019-07-25 | 2020-02-17 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | sshankar | **Assigned To** | maroneze | **Resolution** | fixed | | **Priority** | normal | **Severity** | block | **Reproducibility** | always | | **Platform** | - | **OS** | Ubuntu | **OS Version** | 18.04 | | **Product Version** | Frama-C 18-Argon | **Target Version** | - | **Fixed in Version** | Frama-C 20-Calcium | ### Description : Argon doesn't build, presumably due to config related bugs in opam/opam. I am guessing its due to inconsistency with opam semantics of "|" (used under conflicts in $FRAMAC/opam/opam). ### Additional Information : If possible, I'd appreciate a patch I could do locally instead of waiting for the official fix. Thanks. ### Steps To Reproduce : When I try to install it using the prescribed method opam init eval `opam config env` opam install depext opam depext frama-c opam install --deps-only frama-c cd ~/src (where argon is) opam pin add --kind=path frama-c frama-c-18.0-Argon/ I get the following error (and no frama-c): frama-c needs to be installed. [ERROR] why3-base (< 0.88 | >= 1.0.0) & coq < 8.4.6 & lablgtk < 2.18.2 & frama-c-e-acsl & frama-c-base is not a valid conjunction [NOTE] Pinning command successful, but your installed packages may be out of sync.