diff options
| author | Rong-En Fan <rafan@FreeBSD.org> | 2006-08-10 12:04:59 +0000 |
|---|---|---|
| committer | Rong-En Fan <rafan@FreeBSD.org> | 2006-08-10 12:04:59 +0000 |
| commit | 4e2e5664470009c24c36506a2150e82e00096289 (patch) | |
| tree | 34b7678bfddb4be66d22b986ef0930e6136c018c /math/isabelle | |
| parent | 8452a0466524c3e82475d561993b1b59042d8111 (diff) | |
Notes
Diffstat (limited to 'math/isabelle')
| -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> |