Bug 1045694
| Summary: | zenon-0.7.1-8 debuginfo fix | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Ville Skyttä <ville.skytta> | ||||
| Component: | zenon | Assignee: | Jerry James <loganjerry> | ||||
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> | ||||
| Severity: | unspecified | Docs Contact: | |||||
| Priority: | unspecified | ||||||
| Version: | rawhide | CC: | loganjerry, pertusus | ||||
| Target Milestone: | --- | Keywords: | Patch | ||||
| Target Release: | --- | ||||||
| Hardware: | Unspecified | ||||||
| OS: | Unspecified | ||||||
| Whiteboard: | |||||||
| Fixed In Version: | gappalib-coq-1.0.0-5.fc20 | Doc Type: | Bug Fix | ||||
| Doc Text: | Story Points: | --- | |||||
| Clone Of: | Environment: | ||||||
| Last Closed: | 2014-01-02 22:03:41 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: | |||||||
| Bug Depends On: | |||||||
| Bug Blocks: | 496968 | ||||||
| Attachments: |
|
||||||
gappalib-coq-1.0.0-5.fc20, flocq-2.2.0-2.fc20, coq-8.4pl3-1.fc20, zenon-0.7.1-9.fc20 has been submitted as an update for Fedora 20. https://admin.fedoraproject.org/updates/FEDORA-2013-23607/gappalib-coq-1.0.0-5.fc20,zenon-0.7.1-9.fc20,flocq-2.2.0-2.fc20,coq-8.4pl3-1.fc20 Good catch, Ville. Thanks! Package gappalib-coq-1.0.0-5.fc20, flocq-2.2.0-2.fc20, coq-8.4pl3-1.fc20, zenon-0.7.1-9.fc20: * should fix your issue, * was pushed to the Fedora 20 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing gappalib-coq-1.0.0-5.fc20 flocq-2.2.0-2.fc20 coq-8.4pl3-1.fc20 zenon-0.7.1-9.fc20' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2013-23607/gappalib-coq-1.0.0-5.fc20,zenon-0.7.1-9.fc20,flocq-2.2.0-2.fc20,coq-8.4pl3-1.fc20 then log in and leave karma (feedback). gappalib-coq-1.0.0-5.fc20, flocq-2.2.0-2.fc20, coq-8.4pl3-1.fc20, zenon-0.7.1-9.fc20 has been pushed to the Fedora 20 stable repository. If problems still persist, please make note of it in this bug report. |
Created attachment 839951 [details] Pass -g to ocamlopt, don't strip executable too early zenon-0.7.1-8 enables debuginfo, but the resulting debuginfo is empty. I know very little about ocaml but I guess the attached patch would be a proper fix for this.