--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c in minGW, window



Hi,

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)
ftp://ftp.ntua.gr/mirror/mingw/Installer/mingw-get-inst/mingw-get-inst-20110802/
be sure to follow the instructions from there:
http://www.mingw.org/wiki/Getting_Started
2. Install ocaml
http://protz.github.com/ocaml-installer/
3. Download Frama-C source code:
http://frama-c.com/download/frama-c-Nitrogen-20111001.tar.gz
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.

Greetings,
Sylvain






2012/2/7 Nguy?n C?nh Th??ng <ngcthuong at gmail.com>:
> 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 lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss