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

[Frama-c-discuss] frama-c with cygwin



Thanks Pascal,
I was hoping you were not going to say that.
I'm tied to windows for the next couple of weeks so I will probably wait
until I have the time and freedom to use linux and just run frama-c from
there - it sounds easier, and it's probably updated more often anyway.
Cheers,
S


On Tue, Jul 13, 2010 at 4:28 PM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote:

> Hello,
>
> > I am now getting an error saying: NTVDM.EXE has stopped working.
> > Does that make any sense to anyone?
>
> Yes, Google is pretty unambiguous on the subject of this message. It
> means that the application that you are trying to use on Windows Vista
> is designed for older systems and doesn't work with Vista.
>
> I hear that Windows 7 has some kind of virtualization technology for
> running XP in a corner of your computer (and old applications inside
> it). So if you upgrade you should be able to use that. That may only
> be available in some of the multiple versions of Windows 7 though (do
> not take Windows advice from me. Seriously)
>
> Other virtualization solutions should also work. Debian testing has
> up-to-date binaries of the last release. Just type "sudo apt-get
> install frama-c" or something approaching and it will install
> everything you need in your virtual machine.
>
> Compiling from source is another alternative that might work. The
> reason the binary we provide doesn't work probably is that it is a
> binary... An OCaml compiler bootstrapped on Vista should be perfectly
> able to generate programs that run on Vista. I am afraid that this
> solution could end up taking a lot of time.
>
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100713/eb855185/attachment.htm>