Bug 1360168

Summary:	Missing gmp-dev dependency
Product:	[Fedora] Fedora	Reporter:	Thomas Burdick <tfb>
Component:	idris	Assignee:	Jens Petersen <petersen>
Status:	CLOSED ERRATA	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	23	CC:	haskell-devel, petersen
Target Milestone:	---
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:	idris-0.9.9.1-8.fc24 idris-0.9.9.1-8.fc23	Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2016-08-16 19:24:20 UTC	Type:	Bug
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:

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.