Date: Thu, 31 Jul 2014 19:35:57 +0000 (UTC) From: Antoine Brodin <antoine@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r363673 - head/math/isabelle Message-ID: <201407311935.s6VJZv6A069795@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: antoine Date: Thu Jul 31 19:35:56 2014 New Revision: 363673 URL: http://svnweb.freebsd.org/changeset/ports/363673 QAT: https://qat.redports.org/buildarchive/r363673/ Log: Mark BROKEN: Build seems to hang on the package builders With hat: portmgr Modified: head/math/isabelle/Makefile Modified: head/math/isabelle/Makefile ============================================================================== --- head/math/isabelle/Makefile Thu Jul 31 19:27:25 2014 (r363672) +++ head/math/isabelle/Makefile Thu Jul 31 19:35:56 2014 (r363673) @@ -15,6 +15,8 @@ COMMENT= Generic proof assistant LICENSE= BSD LICENSE_FILE= ${WRKSRC}/COPYRIGHT +BROKEN= Build seems to hang on the package builders + OPTIONS_DEFINE= POLYML RLWRAP LEDIT HOL_ALGEBRA HOL_NOMINAL HOL_NSA HOL_WORD \ HOL_TLA HOL_HOL4 EMACS_PKG OPTIONS_DEFAULT= RLWRAP
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201407311935.s6VJZv6A069795>