Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000461Frama-CKernel > Makefilepublic2010-04-27 15:412014-02-12 16:55
Reportermehdi 
Assigned Tosignoles 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Boron-20100401 
Target VersionFixed in VersionFrama-C Carbon-20101201-beta1 
Summary0000461: Frama-c-gui doesn't install on bytecode architecture
DescriptionThe 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
TagsNo tags attached.
Attached Filespatch file icon 0003-Fix-build-on-bytecode-only-architectures.patch [^] (1,676 bytes) 2010-04-27 15:41 [Show Content]

- Relationships
related to 0000606closedsignoles Don't edit files in make install. Instead, just use all plug-ins in the plugin directory 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2010-04-27 15:41 mehdi New Issue
2010-04-27 15:41 mehdi Status new => assigned
2010-04-27 15:41 mehdi Assigned To => signoles
2010-04-27 15:41 mehdi File Added: 0003-Fix-build-on-bytecode-only-architectures.patch
2010-04-27 16:41 svn Checkin
2010-04-27 16:41 svn Status assigned => resolved
2010-04-27 16:41 svn Resolution open => fixed
2010-10-14 08:56 signoles Relationship added related to 0000606
2010-12-10 15:45 signoles Fixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:36 signoles Status resolved => closed


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker