diff options
| author | Mark Linimon <linimon@FreeBSD.org> | 2007-09-29 20:58:03 +0000 |
|---|---|---|
| committer | Mark Linimon <linimon@FreeBSD.org> | 2007-09-29 20:58:03 +0000 |
| commit | cb8d6c382f3376fd1355e81546d38d75b2703a8c (patch) | |
| tree | 5397bafdbe2b13f1133a3300ca425bab3f0940d8 /math/isabelle | |
| parent | 2ecac6688584df78d95e545a1b9ea627fec88ed3 (diff) | |
| download | ports-cb8d6c382f3376fd1355e81546d38d75b2703a8c.tar.gz ports-cb8d6c382f3376fd1355e81546d38d75b2703a8c.zip | |
Notes
Diffstat (limited to 'math/isabelle')
| -rw-r--r-- | math/isabelle/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index 7e6bf775bd2d..0adbceed0557 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -24,6 +24,11 @@ COMMENT= A generic proof assistant OPTIONS= SMLNJ "Use SML/NJ (devel) instead of the faster Poly/ML" Off +USE_PERL5= yes +RUN_DEPENDS+= proofgeneral:${PORTSDIR}/math/proofgeneral + +DOCFILES= Contents *.pdf *.eps *.ps *.dvi + .include <bsd.port.pre.mk> .if defined(WITH_SMLNJ) @@ -39,11 +44,6 @@ ML_DBASE= "" ML_PLATFORM= "" .endif -USE_PERL5= yes -RUN_DEPENDS+= proofgeneral:${PORTSDIR}/math/proofgeneral - -DOCFILES= Contents *.pdf *.eps *.ps *.dvi - .if defined(WITH_SMLNJ) PLIST_SUB= HEAPSUBDIR=${ML_SYSTEM}_${ML_PLATFORM} BUILD_DEPENDS+= smlnj-devel>=110.65:${PORTSDIR}/lang/sml-nj-devel |