Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=592579 --- Comment #41 from Mark Rader <msrader@xxxxxxxxx> 2010-07-18 22:23:23 EDT --- David Per your comment, "This version of Frama-C is not the current version. If it'd be trivial to upgrade it to the current version, I think the *current* version would be best. But if that's non-trivial, this version is a great place to start. Would that upgrade be trivial, or not?" It is definitely non trivial. Let me explain so that we can document. I tried to perform a substitution for the package just as a sanity check. It error'ed on the strip of frama-c and frama-c-gui. On checking these had not built. I thne tried to do a manual build and no jou. They still did not build. I next tried to force a build and got the following confiuration error. checking for /usr/lib64/ocaml/dynlink.cmxa... yes checking for lablgtk2's custom tree model... yes configure: ************************************* configure: * CHECKING FOR PLUG-IN DEPENDENCIES * configure: ************************************* configure: WARNING: ltl2ba not found. configure: WARNING: aorai partially enabled because ltl2ba missing. configure: WARNING: lablgtksourceview2.cmxa not found configure: error: gui requested but /usr/lib64/ocaml/lablgtk2/lablgtksourceview2.cmxa missing. The missing file is part of OCAML. Particularly it is part of LABLGTK, however it is part of lablgtk2 which has not been packaged so we will need to request it be packaged, package it ourselves or find some solution. I dont know what else may be missing but the newer version is looking at some effort. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review