--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on February 2012 ---
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