Frama-C Bug Tracking System - Frama-C
View Issue Details
0000461Frama-CKernel > Makefilepublic2010-04-27 15:412014-02-12 16:55
mehdi 
signoles 
normalmajoralways
closedfixed 
Frama-C Boron-20100401 
Frama-C Carbon-20101201-beta1 
0000461: Frama-c-gui doesn't install on bytecode architecture
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
No tags attached.
related to 0000606closed signoles Don't edit files in make install. Instead, just use all plug-ins in the plugin directory 
patch 0003-Fix-build-on-bytecode-only-architectures.patch (1,676) 2010-04-27 15:41
https://bts.frama-c.com/file_download.php?file_id=80&type=bug
Issue History
2010-04-27 15:41mehdiNew Issue
2010-04-27 15:41mehdiStatusnew => assigned
2010-04-27 15:41mehdiAssigned To => signoles
2010-04-27 15:41mehdiFile Added: 0003-Fix-build-on-bytecode-only-architectures.patch
2010-04-27 16:41svnCheckin
2010-04-27 16:41svnStatusassigned => resolved
2010-04-27 16:41svnResolutionopen => fixed
2010-10-14 08:56signolesRelationship addedrelated to 0000606
2010-12-10 15:45signolesFixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:36signolesStatusresolved => closed

There are no notes attached to this issue.