Red Hat Bugzilla – Bug 439650
ocaml-cil findlib problem
Last modified: 2011-11-04 09:38:31 EDT
Description of problem:
Trying to #require CIL in the ocaml toplevel fails. "#load"ing the .cma
directly fails with the same error.
Version-Release number of selected component (if applicable):
[hcarty@fry gsl]$ rpm -qa |grep cil
Steps to Reproduce:
[hcarty@fry gsl]$ rlwrap ocaml
Objective Caml version 3.10.1
# #use "topfind";;
- : unit = ()
(snipped some findlib output)
# #require "cil";;
/usr/lib/ocaml/cil: added to search path
The external function `has_performance_counters' is not available
cil.cma does not load properly
cil.cma loads properly
CIL is another library I have not used significantly. This came up during some
general Fedora OCaml library testing.
This is a tricky one. The upstream build system is making a broken
cil.cma. However native code library (cil.cmxa) is fine.
I proved that by recompiling my native-code analysis programs using
ocaml-cil from Fedora 9.
I don't know how to fix this without diving into the horrific
CIL build system, which generally needs fixing anyway but I have
no time or inclination to do it.
So, closed WONTFIX, this is an issue for upstream to sort out, if
This should be fixed in the next upstream release (1.4.0).