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 in minGW, window


I am not sure I have understand your question correctly.

It turns out to be relatively easy to get frama-c run on MS Windows
using the Mingw environment.

Here is how I have done:

1. Install MinGW from here (chose developer installation)
be sure to follow the instructions from there:
2. Install ocaml
3. Download Frama-C source code:
4. decompress
for ex. in C:\Documents\frama-c-Nitrogen
5. Open the MinGW console and cd in the directory where you
decompressed the source
$ cd /c/Documents/frama-c-Nitrogen
6. Configure the source, especially the place where you want to
install your program
for me:
$ ./configure --prefix=/c/Programme/frama-c-Nitrogen
7. Check the configure output.
You should get warning that theorem provers and graphical interface
are missing, but no other warnings.
8. Build and install:
$ make && make install
9. You're done!

It takes around 1.5 hours on my admitedly very slow virtualized Windows XP.

This process will give you a command line Frama-C without GUI and
theorem support.
To get these functionalities, you have to install the missing packages
before running configure.

I hope I could help.


2012/2/7 Nguy?n C?nh Th??ng <ngcthuong at>:
> Hi all,
> Is there any way to integrate Frama-c Nitrogen to minGW in window
> environment?
> I only find frama-c with GUI in win32, :(
> A thousand thanks
> BR.
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at