--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on September 2012 ---
Hello, I am currently trying to install Oxygen on Mac OS X (Mountain Lion) using macports. It's probably not your most important platform but here are some observations. (By the way, installation on xubuntu 2012-04 worked flawlessly!) configure complains about configure: gui: no, /opt/local/lib/ocaml/site-lib/lablgtk2/lablgtksourceview2.cmxa missing but there is /opt/local/lib/ocaml/site-lib/lablgtk2/lablgtksourceview.cmxa available (without the the final "2"). I changed this in configure and the configure results look promising configure: semantic_constant_folding: yes configure: from_analysis: yes configure: gui: yes configure: impact: yes configure: inout: yes configure: metrics: yes configure: occurrence: yes configure: pdg: yes configure: postdominators: yes configure: rte_annotation: yes configure: scope: yes configure: semantic_callgraph: yes configure: slicing: yes configure: sparecode: yes configure: syntactic_callgraph: yes configure: users: yes configure: value_analysis: yes configure: aorai: partial, dynamic, ltl2ba missing configure: obfuscator: yes, dynamic configure: report: yes, dynamic configure: security_slicing: yes, dynamic configure: wp: partial, dynamic, coqc missing However, when calling make I obtain the error Generating src/lib/my_bigint.ml sed: RE error: illegal byte sequence make: *** [src/lib/my_bigint.ml] Error 1 Any ideas? Regards Jens