https://bugzilla.novell.com/show_bug.cgi?id=782915 https://bugzilla.novell.com/show_bug.cgi?id=782915#c0 Summary: devel:languages:ocaml/ocaml-lablgtk2: Bug - missing lablgtksourceview2.cmxa Classification: openSUSE Product: openSUSE.org Version: unspecified Platform: x86-64 OS/Version: openSUSE 12.1 Status: NEW Severity: Normal Priority: P5 - None Component: 3rd party software AssignedTo: andisugandi@opensuse.org ReportedBy: jorge.adriano@gmail.com QAContact: opensuse-communityscreening@forge.provo.novell.com Found By: --- Blocker: --- Hello, I'm trying to install Frama-C (oxygen) from source. A static analysis framework for C, written in OCaml: http://frama-c.com/ During the ./configure step I get the following warning: configure: gui: no, /usr/lib64/ocaml/lablgtk2/lablgtksourceview2.cmxa missing This means I would not be able to compile the framework with GUI support. I do have ocaml-lablgtk2 installed and it provides lablgtksourceview.cmxa, but not lablgtksourceview2.cmxa. Shouldn't the latter also be included in the ocaml-lablgtk2 package? Thank you in advance! J.A. Note 1: These old instructions Frama-C instructions for Fedora 12 talk about this file also missing from their rpms. http://itrs.tw/wiki/Frama-C_Installation_Note_on_Fedora_12 Note 2: I found a package for an older version of Frama-C in the repositories. Unfortunately it is compiled without GUI support. Which indicates de author may have run into the same trouble. https://build.opensuse.org/package/show?project=home%3Ajirislaby%3Allvm&package=frama-c -- Configure bugmail: https://bugzilla.novell.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug.