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

[Frama-c-discuss] Oxygen on Mac OS X Mountain Lion



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