Can't build from source using opam
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.