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-discuss Digest, Vol 26, Issue 11

  • Subject: [Frama-c-discuss] Frama-c-discuss Digest, Vol 26, Issue 11
  • From: armand.puccetti at cea.fr (PUCCETTI Armand)
  • Date: Fri, 16 Jul 2010 10:21:55 +0200
  • In-reply-to: <mailman.83.1279101674.7842.frama-c-discuss@lists.gforge.inria.fr>
  • References: <mailman.83.1279101674.7842.frama-c-discuss@lists.gforge.inria.fr>
Furthermore, the same compatibility mode exists in Windows VISTA. 
Right-click on
the executable file, select Properties from the menu. In the 
Compatiblity tab
are given the different compatibility modes. Select the Windows XP mode and
validate. You might also try to run the executable in Administrator 
mode: right click
on the file and select "Run as administrator".

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