--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on August 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [wp] user error: Can not create output directory '/tmp/wpd596aa.dir/typed'



Hello David, 
  
> Even if Jens already found a workaround, would it be possible that your 
>/tmp is full or lack of inodes? 
  
/tmp doesn't seems to be full or lack of inodes. 
I don't know why it did not work. But, I just notice that, with the Magnesium version, there is not the previous "user error" anymore. I suppose that it was just a problem of version. 
Thank you for you help! 
  
Best regards, 
  
Paul Boniol 

----- Mail original -----

De: "David MENTRÉ" <dmentre at linux-france.org> 
À: frama-c-discuss at lists.gforge.inria.fr 
Envoyé: Vendredi 5 Août 2016 15:55:19 
Objet: Re: [Frama-c-discuss] [wp] user error: Can not create output directory '/tmp/wpd596aa.dir/typed' 

Hello, 

Le 2016-08-05 à 10:23, Paul Boniol a écrit : 
> [wp] user error: Can not create output directory '/tmp/wpd596aa.dir/typed' 

Even if Jens already found a workaround, would it be possible that your 
/tmp is full or lack of inodes? 

Sincerely yours, 
david 

_______________________________________________ 
Frama-c-discuss mailing list 
Frama-c-discuss at lists.gforge.inria.fr 
http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20160805/4f242fc5/attachment.html>