[Bug 521324] cil.mli is missing from ocaml-cil-devel

bugzilla at redhat.com bugzilla at redhat.com
Thu Oct 22 22:03:48 UTC 2009


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=521324





--- Comment #1 from Jerry James <loganjerry at gmail.com>  2009-10-22 18:03:47 EDT ---
I took another look at this today, because I finally got my CIL-consuming app
working on F-12 and it would be nice to have it buildable on F-11.  I noticed
that a number of files are byte-compiled only; there is no native version. 
Invoking:

  make RELEASE=1

fixes that.  But that didn't solve the problem of the missing cil.mli.  It
turns out that NONE of the *.mli files in src are copied over to obj/$archos by
the build rules.  It should be sufficient to change the ocamlfind invocation in
%install to this:

  ocamlfind install cil META obj/$archos/*.{ml,mli,cmi,cmo,cmx,cma,cmxa,o,a}
src/*.mli

-- 
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.




More information about the Fedora-ocaml-list mailing list