--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on June 2015 ---
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>