Bug 521324

Summary:	cil.mli is missing from ocaml-cil-devel
Product:	[Fedora] Fedora	Reporter:	Jerry James <loganjerry>
Component:	ocaml-cil	Assignee:	Richard W.M. Jones <rjones>
Status:	CLOSED RAWHIDE	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	medium	Docs Contact:
Priority:	low
Version:	rawhide	CC:	fedora-ocaml-list, rjones
Target Milestone:	---
Target Release:	---
Hardware:	All
OS:	Linux
Whiteboard:
Fixed In Version:		Doc Type:	Bug Fix
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2009-10-23 08:28:59 UTC	Type:	---
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:

Description Jerry James 2009-09-04 19:03:50 UTC

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:

Comment 1 Jerry James 2009-10-22 22:03:47 UTC

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

Comment 2 Richard W.M. Jones 2009-10-23 08:19:26 UTC

For some reason I didn't see this bug before now.  I'll
try the fixes you suggest now.

Comment 3 Richard W.M. Jones 2009-10-23 08:28:59 UTC

I made the suggested changes in the new F13 build here:

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

Comment 4 Jerry James 2009-10-23 15:27:01 UTC

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.