diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2010-10-27 21:39:01 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2010-10-27 21:39:01 +0000 |
| commit | aaff5cb873c30fab4bb6a181223c0a6d5b3d26cc (patch) | |
| tree | 4e1bd6612c1ea0e122c9d7859cdbc4c2c4fc0fcf /math/isabelle | |
| parent | 730d1035f9e01d8c024b38a15fc5e51746bbcae7 (diff) | |
Notes
Diffstat (limited to 'math/isabelle')
| -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 |