Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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>