|
Lines 2-8
Link Here
|
| 2 |
# Date created: 08 August 2005 |
2 |
# Date created: 08 August 2005 |
| 3 |
# Whom: Timothy Bourke <timbob@bigpond.com> |
3 |
# Whom: Timothy Bourke <timbob@bigpond.com> |
| 4 |
# |
4 |
# |
| 5 |
# $FreeBSD: ports/math/isabelle/Makefile,v 1.2 2006/05/01 18:01:58 sem Exp $ |
5 |
# $FreeBSD$ |
| 6 |
# |
6 |
# |
| 7 |
|
7 |
|
| 8 |
PORTNAME= isabelle |
8 |
PORTNAME= isabelle |
|
Lines 22-27
Link Here
|
| 22 |
COMMENT= A generic proof assistant |
22 |
COMMENT= A generic proof assistant |
| 23 |
|
23 |
|
| 24 |
OPTIONS= SMLNJ "Use SML/NJ (devel) instead of the faster Poly/ML" Off |
24 |
OPTIONS= SMLNJ "Use SML/NJ (devel) instead of the faster Poly/ML" Off |
|
|
25 |
NO_PACKAGE= Requires non-standard kernel setting: thus no pointyhat. |
| 25 |
|
26 |
|
| 26 |
.include <bsd.port.pre.mk> |
27 |
.include <bsd.port.pre.mk> |