From 2890664339f3f4be5834ab1130da80ff4c914a05 Mon Sep 17 00:00:00 2001 From: Bryan Drewery Date: Thu, 29 Aug 2013 14:11:28 +0000 Subject: - This is not BROKEN, it just needs manual fetching. Remove check for PACKAGE_BUILDING so it properly sets IGNORE if the distfile is missing With hat: portmgr --- devel/uppaal/Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'devel') diff --git a/devel/uppaal/Makefile b/devel/uppaal/Makefile index cd25aab475f7..11fa5bbdc812 100644 --- a/devel/uppaal/Makefile +++ b/devel/uppaal/Makefile @@ -10,8 +10,6 @@ DISTNAME= uppaal-${PORTVERSION}-aca MAINTAINER= ports@FreeBSD.org COMMENT= Tool environment for modeling and verifying timed automata -BROKEN= Does not fetch - USE_ZIP= yes USE_LINUX= yes USE_JAVA= yes @@ -35,7 +33,7 @@ RESTRICTED= Downloading requires completion of a license agreement LINUX_SYSCTL= ${ECHO_CMD} `${SYSCTL} -n compat.linux.osrelease 2>/dev/null` LINUX_OSRELEASE= ${LINUX_SYSCTL} -.if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX}) && !defined(PACKAGE_BUILDING) +.if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX}) IGNORE= please download ${DISTNAME}${EXTRACT_SUFX} into\ ${DISTDIR}/${DIST_SUBDIR} from ${DOWNLOAD_URL} and re-run make .endif -- cgit v1.2.3