Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 204
    • Issues 204
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #84
Closed
Open
Created Jul 25, 2019 by mantis-gitlab-migration@mantis-gitlab-migration

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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking