Date: Sun, 29 Jun 2014 23:30:35 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 191503] New: add STAGE support and modernize port: math/proofgeneral Message-ID: <bug-191503-13@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=191503 Bug ID: 191503 Summary: add STAGE support and modernize port: math/proofgeneral Product: Ports Tree Version: Latest Hardware: Any OS: Any Status: Needs Triage Severity: Affects Only Me Priority: Normal Component: Individual Port(s) Assignee: freebsd-ports-bugs@FreeBSD.org Reporter: beyert@cs.ucr.edu Created attachment 144278 --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=144278&action=edit proofgeneral.diff - Add STAGE support - Use ${PORT_OPTIONS:MDOCS} instead of !defined(NOPORTDOCS) - Adjust plist to include manual page (and adjust Makefile accordingly) How-To-Repeat: Apply patch and build port Fix: The included patch -- You are receiving this mail because: You are the assignee for the bug.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-191503-13>