Frama-C Bug Tracking System - Frama-C
View Issue Details
0000639Frama-CPlug-in > wppublic2010-12-15 10:152011-03-11 15:02
holgerblasum 
correnson 
normalminoralways
closedfixed 
Frama-C Carbon-20101201-beta1 
Frama-C Carbon-20101202-beta2Frama-C Carbon-20101202-beta2 
0000639: Carbon beta coqide: need write rights to /usr/local/share/frama-c
Take yesterday's Carbon from SVN, run with coqide 8.2 (debian testing) $ frama-c -wp -wp-proof coqide swap.c swap1.c Then with default install /usr/local/share/frama-c/wp coq will try to compile *.v to *.vo (this fails without write permission to /usr/local/share/frama-c/wp).
No tags attached.
Issue History
2010-12-15 10:15holgerblasumNew Issue
2010-12-15 10:15holgerblasumStatusnew => assigned
2010-12-15 10:15holgerblasumAssigned To => Anne
2010-12-15 10:29holgerblasumNote Added: 0001311
2010-12-15 18:56signolesAssigned ToAnne => correnson
2010-12-15 18:56signolesProduct Version => Frama-C Carbon-20101201-beta1
2010-12-15 18:56signolesTarget Version => Frama-C Carbon-20101202-beta2
2010-12-17 11:17corrensonNote Added: 0001327
2010-12-17 11:17corrensonStatusassigned => resolved
2010-12-17 11:17corrensonFixed in Version => Frama-C Carbon-20101202-beta2
2010-12-17 11:17corrensonResolutionopen => fixed
2010-12-17 19:35signolesStatusresolved => closed

Notes
(0001311)
holgerblasum   
2010-12-15 10:29   
(Note: the host is debian linux testing, compilation was with ocaml-* from the debian testing distribution. Btw, congratulations on releasing Carbon :-))
(0001327)
correnson   
2010-12-17 11:17   
Now all compilations are done in a temporary directory (or -wp-out if specified)