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

[Frama-c-discuss] Error while compilation



Ya thanks.

can you tell me command for doing distclean ?

On Mon, Jun 8, 2015 at 2:49 PM, Virgile Prevosto <virgile.prevosto at m4x.org>
wrote:

> Hello,
>
> 2015-06-08 11:06 GMT+02:00 Gaurav Tripathi <tripathigaurav.gt at gmail.com>:
> > Hello,
> > Previously I was using Ocaml-4.00.1. At that time it showed assembler
> > problem.
> >
> > Now I uninstalled that and installed Ocaml-4.01.0.
> >
> > Previous error got solved but new error raised.
> >
>
> If you change the OCaml version you're compiling with, you should do
> make distclean in the Frama-C source directory before anything else,
> to remove all files that have been created by the old compiler. Mixing
> compilation results across OCaml versions usually ends up badly.
>
> That said, if you have no previous experience with OCaml compilation
> on Windows, I'd second Jens' suggestion to work in a Linux virtual
> machine.
>
> Best regards,
> --
> E tutto per oggi, a la prossima volta
> Virgile
> _______________________________________________
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150608/6a60c5c8/attachment.html>