Bug 725415

Summary: missing coccinelle dependence: ocaml-findlib
Product: [Fedora] Fedora Reporter: David Nečas <yeti>
Component: coccinelleAssignee: Richard W.M. Jones <rjones>
Status: CLOSED ERRATA QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: 15CC: plroskin, rjones
Target Milestone: ---   
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
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-07-25 12:52:46 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 David Nečas 2011-07-25 12:15:33 UTC
Description of problem:
yum install coccinelle pulls ocaml-runtime but spatch also needs ocaml-findlib.


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 remove 'ocaml*'
2. yum install coccinelle
3. spatch
  

Actual results:
/bin/sh: ocamlfind: command not found
Fatal error: exception Prepare_ocamlcocci.CompileFailure("ocamlfind printconf stdlib has failed")


Expected results:
spatch runs and prints the help.


Additional info:
Step 2 above installs exactly 2 packages: coccinelle and ocaml-runtime.

Comment 1 Richard W.M. Jones 2011-07-25 12:52:46 UTC
Fixed this and various other problems in coccinelle
1.0.0-0.rc4.1.fc16.

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

Comment 2 Richard W.M. Jones 2011-07-25 12:58:36 UTC
Try this build instead:
http://koji.fedoraproject.org/koji/taskinfo?taskID=3227401

Comment 3 Richard W.M. Jones 2011-08-02 07:34:04 UTC
*** Bug 727396 has been marked as a duplicate of this bug. ***

Comment 4 Fedora Update System 2011-08-02 11:17:27 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 5 Fedora Update System 2011-08-11 23:27:23 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.