Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Planning hierarchy
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 208
    • Issues 208
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #1673

Closed
Open
Created Apr 27, 2010 by mantis-gitlab-migration@mantis-gitlab-migration

Frama-c-gui doesn't install on bytecode architecture

ID0000461: This issue was created automatically from Mantis Issue 461. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0000461 Frama-C Kernel > Makefile public 2010-04-27 2014-02-12
Reporter mehdi Assigned To signoles Resolution fixed
Priority normal Severity major Reproducibility always
Platform - OS - OS Version -
Product Version Frama-C Boron-20100401 Target Version - Fixed in Version Frama-C Carbon-20101201-beta1

Description :

The target 'gui' depends directly on 'bin/viewer.opt$(EXE)' which cannot be built on bytecode-only architecutres. Thus, the build and installation fail.

Furthermore, in /usr/lib/frama-c, there are some .cmx files installed without their implementation (their corresponding .o or .a files). If those files are going to be used to build plugins, then the implementation is needed.

Please find attached a patch that fixes both issues.

Regards,

Mehdi

Attachments

  • 0003-Fix-build-on-bytecode-only-architectures.patch
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking