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

[Frama-c-discuss] Unknows Pragma



Nice, thank you very much. I will try it. :)

regards, Patrik

On 2.6.2010 11:23, Pascal Cuoq wrote:
>> or even better, if you have ocamlopt, use instead:
>>      
> As you are probably new to OCaml, I meant to mention that
> the reason native compiled programs (with ocamlopt) are better
> is not only that they are faster but that they keep working if you
> install a new version of the runtime, unlike bytecode programs
> which only work with the exact version of the runtime they were
> compiled with.
>
> Pascal
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
>