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

[Red Hat Bugzilla]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.

Summary: cil.mli is missing from ocaml-cil-devel

https://bugzilla.redhat.com/show_bug.cgi?id=521324

Summary: cil.mli is missing from ocaml-cil-devel
           Product: Fedora
           Version: rawhide
          Platform: All
        OS/Version: Linux
            Status: NEW
          Severity: medium
          Priority: low
         Component: ocaml-cil
        AssignedTo: [e-mail]
        ReportedBy: [e-mail]
         QAContact: [e-mail]
                CC: [e-mail], [e-mail]
    Classification: Fedora

Description of problem:
The files cil.ml and cil.mli should be in the ocaml-cil-devel package, but are
not.

Version-Release number of selected component (if applicable):
ocaml-cil-devel-1.3.7-2.fc12.x86_64

How reproducible:
N/A

Steps to Reproduce:
1.
2.
3.

Actual results:
N/A

Expected results:
N/A

Additional info:

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

[Red Hat Bugzilla]

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

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

[Red Hat Bugzilla]

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 #2 from Richard W.M. Jones   2009-10-23 04:19:26 EDT ---
For some reason I didn't see this bug before now.  I'll
try the fixes you suggest now.

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

[Red Hat Bugzilla]

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

Richard W.M. Jones  changed:

What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |CLOSED
         Resolution|                            |RAWHIDE

--- Comment #3 from Richard W.M. Jones   2009-10-23 04:28:59 EDT ---
I made the suggested changes in the new F13 build here:

http://koji.fedoraproject.org/koji/taskinfo?taskID=1764205

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

[Red Hat Bugzilla]

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 #4 from Jerry James   2009-10-23 11:27:01 EDT ---
I seem to be suffering from some kind of version hysteria.  I see that I
reported this bug against Rawhide and listed an f12 RPM in the version (before
the F-13 split), but I'm not actually seeing the problem on F-12 currently.  I
AM seeing it on F-11, hence the remark about F-11 in comment 1.

I also see that the version of CIL in F-11 is 1.3.6, so maybe upstream did
something to address this issue in 1.3.7.