From cb8d6c382f3376fd1355e81546d38d75b2703a8c Mon Sep 17 00:00:00 2001
From: Mark Linimon <linimon@FreeBSD.org>
Date: Sat, 29 Sep 2007 20:58:03 +0000
Subject: Move the USE_PERL definitions, and others, before pre.mk inclusion. 
 This will be needed to conditionalize bsd.perl.mk inclusion.

Approved by:	maintainer
---
 math/isabelle/Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'math/isabelle')

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
-- 
cgit v1.2.3