Bug 1360168 - Missing gmp-dev dependency
Summary: Missing gmp-dev dependency
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: idris
Version: 23
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jens Petersen
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2016-07-26 07:08 UTC by Thomas Burdick
Modified: 2016-09-06 02:21 UTC (History)
2 users (show)

Fixed In Version: idris-0.9.9.1-8.fc24 idris-0.9.9.1-8.fc23
Clone Of:
Environment:
Last Closed: 2016-08-16 19:24:20 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description Thomas Burdick 2016-07-26 07:08:29 UTC 
Description of problem:
The idris package pulls in gmp, but needs to also pull in gmp-dev to be useful. Otherwise any attempt at calling a function results in gcc complaining about a missing gmp.h

Version-Release number of selected component (if applicable):
idris-0.9.9.1-6.fc23.x86_64
Comment 1 Jens Petersen 2016-07-28 07:35:38 UTC 
Thanks for the report!

Reproduced with `idris hello.idr -o hello`.
Comment 2 Fedora Update System 2016-07-28 08:35:14 UTC 
idris-0.9.9.1-8.fc23 has been submitted as an update to Fedora 23. https://bodhi.fedoraproject.org/updates/FEDORA-2016-a11c85f02c
Comment 3 Fedora Update System 2016-07-28 08:35:20 UTC 
idris-0.9.9.1-8.fc24 has been submitted as an update to Fedora 24. https://bodhi.fedoraproject.org/updates/FEDORA-2016-a132c62be1
Comment 4 Fedora Update System 2016-07-29 03:55:33 UTC 
idris-0.9.9.1-8.fc23 has been pushed to the Fedora 23 testing repository. If problems still persist, please make note of it in this bug report.
See https://fedoraproject.org/wiki/QA:Updates_Testing for
instructions on how to install test updates.
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2016-a11c85f02c
Comment 5 Fedora Update System 2016-07-29 03:55:46 UTC 
idris-0.9.9.1-8.fc24 has been pushed to the Fedora 24 testing repository. If problems still persist, please make note of it in this bug report.
See https://fedoraproject.org/wiki/QA:Updates_Testing for
instructions on how to install test updates.
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2016-a132c62be1
Comment 6 Fedora Update System 2016-08-16 19:24:18 UTC 
idris-0.9.9.1-8.fc24 has been pushed to the Fedora 24 stable repository. If problems still persist, please make note of it in this bug report.
Comment 7 Fedora Update System 2016-09-06 02:21:04 UTC 
idris-0.9.9.1-8.fc23 has been pushed to the Fedora 23 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.