diff options
| author | pav <pav@FreeBSD.org> | 2010-10-28 05:39:01 +0800 |
|---|---|---|
| committer | pav <pav@FreeBSD.org> | 2010-10-28 05:39:01 +0800 |
| commit | ff319aa7dde086418d697e3d0cd29ba5f60704c8 (patch) | |
| tree | 21728ad53a1891e104371cd5d7c54957bd13bbea /math | |
| parent | 4c775e887731378b6e0e95885400997ba46eb71a (diff) | |
| download | freebsd-ports-gnome-ff319aa7dde086418d697e3d0cd29ba5f60704c8.tar.gz freebsd-ports-gnome-ff319aa7dde086418d697e3d0cd29ba5f60704c8.tar.zst freebsd-ports-gnome-ff319aa7dde086418d697e3d0cd29ba5f60704c8.zip | |
- Mark BROKEN: bad plist
Reported by: pointyhat
Diffstat (limited to 'math')
| -rw-r--r-- | math/isabelle/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index dd425b7af824..55e5b67e471b 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -22,6 +22,8 @@ DISTFILES= Isabelle2009.tar.gz \ MAINTAINER= beyert@cs.ucr.edu COMMENT= A generic proof assistant +BROKEN= bad plist + OPTIONS= SMLNJ "Use SML/NJ (devel) instead of faster Poly/ML" off OPTIONS+= RLWRAP "Use rlwrap as line editor" on OPTIONS+= LEDIT "Use ledit as line editor" off |