Bug 727396 - coccinelle should depend on ocaml-findlib
Summary: coccinelle should depend on ocaml-findlib
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: coccinelle
Version: 15
Hardware: All
OS: Linux
unspecified
medium
Target Milestone: ---
Assignee: Richard W.M. Jones
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2011-08-02 03:05 UTC by Pavel Roskin
Modified: 2011-08-11 23:27 UTC (History)
1 user (show)

Fixed In Version: coccinelle-1.0.0-0.rc4.2.fc15
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2011-08-02 07:34:04 UTC
Type: ---


Attachments (Terms of Use)

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.


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