Bug 727396

Summary: coccinelle should depend on ocaml-findlib
Product: [Fedora] Fedora Reporter: Pavel Roskin <plroskin>
Component: coccinelleAssignee: Richard W.M. Jones <rjones>
Status: CLOSED ERRATA QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: medium Docs Contact:
Priority: unspecified    
Version: 15CC: rjones
Target Milestone: ---   
Target Release: ---   
Hardware: All   
OS: Linux   
Whiteboard:
Fixed In Version: coccinelle-1.0.0-0.rc4.2.fc15 Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2011-08-02 07:34:04 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:

Description Pavel Roskin 2011-08-02 03:05:12 UTC
Description of problem:

"yum install coccinelle" installs coccinelle, but it's not functional unless ocaml-findlib is installed.

Version-Release number of selected component (if applicable):

coccinelle-0.2.5-0.rc9.1.fc15.x86_64

How reproducible:

Always

Steps to Reproduce:
1. yum install coccinelle
2. spatch --help
  
Actual results:

$ spatch --help
/bin/sh: ocamlfind: command not found
Fatal error: exception Prepare_ocamlcocci.CompileFailure("ocamlfind printconf stdlib has failed")

Expected results:

Help is shown

Additional info:

ocaml-findlib appears to be the only missing dependency.  With it, it's possible to use "make coccicheck" in the Linux source tree with meaningful results.

Comment 1 Richard W.M. Jones 2011-08-02 07:34:04 UTC
This build should probably work even in F15:

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

*** This bug has been marked as a duplicate of bug 725415 ***

Comment 2 Pavel Roskin 2011-08-02 10:48:52 UTC
Yes, it runs on F15.  It will be a welcome update!

Comment 3 Fedora Update System 2011-08-02 11:17:32 UTC
coccinelle-1.0.0-0.rc4.2.fc15 has been submitted as an update for Fedora 15.
https://admin.fedoraproject.org/updates/coccinelle-1.0.0-0.rc4.2.fc15

Comment 4 Fedora Update System 2011-08-11 23:27:27 UTC
coccinelle-1.0.0-0.rc4.2.fc15 has been pushed to the Fedora 15 stable repository.  If problems still persist, please make note of it in this bug report.