Bug 217496

Summary: math/coq: does not package
Product: Ports & Packages Reporter: Konstantin Belousov <kib>
Component: Individual Port(s)Assignee: Hiroki Sato <hrs>
Status: In Progress ---    
Severity: Affects Only Me CC: w.schwarzenfeld
Priority: --- Flags: bugzilla: maintainer-feedback? (hrs)
Version: Latest   
Hardware: Any   
OS: Any   
Description Flags
poudriere build log none

Description Konstantin Belousov freebsd_committer 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 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