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] Beryllium on MacOS X (Leopard and Snow Leopard)
- Subject: [Frama-c-discuss] Beryllium on MacOS X (Leopard and Snow Leopard)
- From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
- Date: Thu, 10 Sep 2009 14:29:01 +0200
Hi, I would like to share with you some notes that helped us to install Beryllium (including some provers for Jessie) on Mac OS X. Regards Jens ############################################################### Notes to install the Beryllium release of Frama-C under Mac OS X Leopard (10.5.8) based on the notes of Pascal Cuoq. For Snow Leopard (10.6.x) see below! ############################################################### The following steps install supporting software form MacPorts under / opt/local. These notes assumes a fresh install of MacPorts (1.8.0) and the use of XCode >= 3.1.2. sudo port install cairo +quartz+no_x11 pango +quartz+no_x11 gtk2 +quartz sudo port install gtksourceview sudo port install graphviz sudo port install ocaml sudo port install mpfr Next: Get lablgtk-2.12.0 from http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/dist/lablgtk-2.12.0.tar.gz tar xvfz lablgtk-2.12.0.tar.gz cd lablgtk-2.12.0 ./configure --prefix=/opt/local make world # beware: do not use just "make", # it compiles only the bytecode version sudo make install Get ocamlgraph tar xvf ocamlgraph-1.2.tar cd ocamlgraph-1.2 ./configure --prefix=/opt/local make sudo make install Get Beryllium tar xvf frama-c-Beryllium-20090901.tar cd frama-c-Beryllium-20090901.tar ./configure --prefix=/opt/local make sudo make install Get alt-ergo: tar xvf alt-ergo-0.9.tar cd alt-ergo-0.9 ./configure --prefix=/opt/local make sudo make install Get CVC3: tar xvf cvc3-1.5.tar cd cvc3-1.5 ./configure --prefix=/opt/local make sudo make install SNOW LEOPARD: Due to the transition to 64-bit, binary compatibility of Snow Leopard is better than source-level compatibility at the moment, so a shortcut to install Frama-C on Snow Leopard is to compile on Leopard and to move the compiled binaries. ############################################################### -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090910/7fc8833a/attachment.htm
- Prev by Date: [Frama-c-discuss] Virus in Beryllium Windows installer?
- Next by Date: [Frama-c-discuss] Release Beryllium 20090901
- Previous by thread: [Frama-c-discuss] Virus in Beryllium Windows installer?
- Next by thread: [Frama-c-discuss] Beryllium Jessie - Type Invariants
- Index(es):