diff options
| author | rafan <rafan@FreeBSD.org> | 2006-08-10 20:04:59 +0800 |
|---|---|---|
| committer | rafan <rafan@FreeBSD.org> | 2006-08-10 20:04:59 +0800 |
| commit | 950b82491b616ef4ceb43cc7a768e01cb2635529 (patch) | |
| tree | 9830bd044efb07207add772f9c5d6bcd23d8828e /math | |
| parent | 9645d44c4e7f2b3ec3aebc8657d654c000b16c61 (diff) | |
| download | freebsd-ports-gnome-950b82491b616ef4ceb43cc7a768e01cb2635529.tar.gz freebsd-ports-gnome-950b82491b616ef4ceb43cc7a768e01cb2635529.tar.zst freebsd-ports-gnome-950b82491b616ef4ceb43cc7a768e01cb2635529.zip | |
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)
Diffstat (limited to 'math')
| -rw-r--r-- | math/isabelle/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index a51cec1fd75a..69039d169ecb 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -22,6 +22,7 @@ MAINTAINER= timbob@bigpond.com COMMENT= A generic proof assistant OPTIONS= SMLNJ "Use SML/NJ (devel) instead of the faster Poly/ML" Off +NO_PACKAGE= Requires non-standard kernel setting. .include <bsd.port.pre.mk> |