fedora-infra / fedora-packages

A webapp that allows searching packages in Fedora. Written in Python using TurboGears2 and Moksha.
https://apps.fedoraproject.org/packages
GNU Affero General Public License v3.0
58 stars 59 forks source link

missing /etc/ocamlfind.conf when Frama-C run #245

Closed alx-pl closed 8 years ago

alx-pl commented 8 years ago

Once I installed Frama-C on Fedora-24 XFCE and run the program on my Fedora box I got the message

     Unexpected error (Failure("Config file not found - neither

/etc/ocamlfind.conf nor the directory /etc/ocamlfind.conf.d")). Please report as 'crash' at http://bts.frama-c.com/. Your Frama-C version is Aluminium-20160501. Note that a version and a backtrace alone often do not contain enough information to understand the bug. Guidelines for reporting bugs are

This message disappeared when I installed separately

ocaml-findlib-1.5.5-8.fc24.x86_64

Apparently something was wrong with the dependencies of Frama-C at that point of the time as

ocaml-findlib-devel

is in the dependencies of Frama-C:

https://apps.fedoraproject.org/packages/frama-c/sources/spec/

Still, the actual dependencies obtained as

rpm -qR frama-c

are silent about ocaml-findlib (see attachment).

pypingou commented 8 years ago

Thanks for your report but this is however, the wrong place for such bug report.

This issue tracker is about the web application running at: https://apps.fedoraproject.org/packages/

Your ticket should be open in https://bugzilla.redhat.com

alx-pl commented 8 years ago

requires.txt

alx-pl commented 8 years ago

Thank you. I'll report it there then.

pypingou commented 8 years ago

Thanks :)