Bug 725415 - missing coccinelle dependence: ocaml-findlib
Summary: missing coccinelle dependence: ocaml-findlib
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: coccinelle
Version: 15
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Richard W.M. Jones
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2011-07-25 12:15 UTC by David Nečas
Modified: 2011-08-11 23:27 UTC (History)
2 users (show)

Fixed In Version: coccinelle-1.0.0-0.rc4.2.fc15
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2011-07-25 12:52:46 UTC
Type: ---


Attachments (Terms of Use)

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.


Note You need to log in before you can comment on or make changes to this bug.