Bug 217496 - math/coq: does not package
Summary: math/coq: does not package
Status: In Progress
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Hiroki Sato
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-03-02 14:25 UTC by Konstantin Belousov
Modified: 2018-01-16 10:53 UTC (History)
1 user (show)

See Also:
bugzilla: maintainer-feedback? (hrs)


Attachments
poudriere build log (46.61 KB, application/x-bzip)
2017-03-02 14:25 UTC, Konstantin Belousov
no flags Details

Note You need to log in before you can comment on or make changes to this bug.
Description Konstantin Belousov freebsd_committer freebsd_triage 2017-03-02 14:25:43 UTC
Created attachment 180438 [details]
poudriere build log

I tried to install math/coq with non-default options and it does not package.  I turned on DOC and disabled IDE.  poudriere log is attached.
Comment 1 Hiroki Sato freebsd_committer freebsd_triage 2017-03-02 17:45:58 UTC
Thank you for the report.  Currently this port has multiple problems.  I will fix them this weekend.
Comment 2 Walter Schwarzenfeld freebsd_triage 2018-01-16 10:53:26 UTC
ping!