Date: Thu, 10 Aug 2006 12:04:59 +0000 (UTC) From: Rong-En Fan <rafan@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/isabelle Makefile Message-ID: <200608101204.k7AC4xeQ002029@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
rafan 2006-08-10 12:04:59 UTC
FreeBSD ports repository
Modified files:
math/isabelle Makefile
Log:
math/isabelle does not build on pointyhat, because the build process
requires a non-standard kernel setting. Mark it as NO_PACKAGE.
Refer to http://docs.freebsd.org/cgi/mid.cgi?20060521015932.GB603
PR: ports/101749
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
Revision Changes Path
1.3 +1 -0 ports/math/isabelle/Makefile
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200608101204.k7AC4xeQ002029>