https://bugzilla.novell.com/show_bug.cgi?id=782916 https://bugzilla.novell.com/show_bug.cgi?id=782916#c0 Summary: devel:languages:ocaml/ocaml: Bug - inconsistent assumptions over implementation StdLabels Classification: openSUSE Product: openSUSE.org Version: unspecified Platform: x86-64 OS/Version: openSUSE 12.1 Status: RESOLVED 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: --- jorge aires <jorge.adriano@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |DUPLICATE I'm trying to install Frama-C (oxygen) from source. A static analysis framework for C, written in OCaml: http://frama-c.com/ During make, I ran into this error: Error: Files /usr/lib64/ocaml/lablgtk2/lablgtk.cmxa and /usr/lib64/ocaml/stdlib.cmxa make inconsistent assumptions over implementation StdLabels stdlib.cmxa is provided by ocaml lablgtk.cmxa is provided by both lablgtk2 and ocaml-lablgtk2-devel I have all these packages installed and according to YaST, these versions I have should be compatible. ocaml 3.12.0 ocaml-lablgtk2-devel 2.14.2 lablgtk2 2.14.2 Help? J.A. Note: I also just posted another report with other problems in the OCaml packages that are affecting the installation process of Frama-C. https://bugzilla.novell.com/show_bug.cgi?id=782915 --- Comment #1 from jorge aires <jorge.adriano@gmail.com> 2012-09-30 20:36:02 UTC --- Sorry, posted it twice *** This bug has been marked as a duplicate of bug 782915 *** http://bugzilla.novell.com/show_bug.cgi?id=782915 -- 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.