Date: Thu, 6 Jun 2013 16:24:22 GMT From: John Marino <draco@marino.st> To: freebsd-gnats-submit@FreeBSD.org Subject: ports/179372: [PATCH] math/coq: Fix breakage due to tex changes Message-ID: <201306061624.r56GOMtL003282@oldred.freebsd.org> Resent-Message-ID: <201306061630.r56GU0Ls073538@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 179372
>Category: ports
>Synopsis: [PATCH] math/coq: Fix breakage due to tex changes
>Confidential: no
>Severity: non-critical
>Priority: low
>Responsible: freebsd-ports-bugs
>State: open
>Quarter:
>Keywords:
>Date-Required:
>Class: sw-bug
>Submitter-Id: current-users
>Arrival-Date: Thu Jun 06 16:30:00 UTC 2013
>Closed-Date:
>Last-Modified:
>Originator: John Marino
>Release:
>Organization:
>Environment:
>Description:
math/coq doesn't build due to recent tex changes.
Fix included below.
>How-To-Repeat:
>Fix:
Patch attached with submission follows:
--- Makefile.orig 2013-05-11 17:58:55.000000000 +0000
+++ Makefile
@@ -36,7 +36,7 @@ MAN1= coq-tex.1 coq_makefile.1 coqc.1 co
.include <bsd.port.options.mk>
.if ${PORT_OPTIONS:MDOCS}
-USE_TEX= latex:build
+USE_TEX= latex:build dvipsk:build
BUILD_DEPENDS+= hevea:${PORTSDIR}/textproc/hevea \
${LOCALBASE}/share/texmf/tex/latex/ucs/utf8x.def:${PORTSDIR}/print/latex-ucs
PORTDOCS= *
>Release-Note:
>Audit-Trail:
>Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201306061624.r56GOMtL003282>