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
- Subject: [Frama-c-discuss] Frama-c in minGW, window
- From: sylvain.nahas at googlemail.com (sylvain nahas)
- Date: Wed, 8 Feb 2012 11:26:20 +0100
- In-reply-to: <4F316BB4.7090704@gmail.com>
- References: <4F316BB4.7090704@gmail.com>
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
- References:
- [Frama-c-discuss] Frama-c in minGW, window
- From: ngcthuong at gmail.com (Nguyễn Cảnh Thướng)
- [Frama-c-discuss] Frama-c in minGW, window
- Prev by Date: [Frama-c-discuss] Frama C windows installer
- Next by Date: [Frama-c-discuss] Replacing the CIL parser thru a plugin?
- Previous by thread: [Frama-c-discuss] Frama-c in minGW, window
- Next by thread: [Frama-c-discuss] Frama-c in minGW, window _ fatal error
- Index(es):