diff options
| author | Bryan Drewery <bdrewery@FreeBSD.org> | 2013-08-29 14:11:28 +0000 |
|---|---|---|
| committer | Bryan Drewery <bdrewery@FreeBSD.org> | 2013-08-29 14:11:28 +0000 |
| commit | 2890664339f3f4be5834ab1130da80ff4c914a05 (patch) | |
| tree | 85d87baeabc89bbc097befdaa6207c5d6bc81d0a /devel | |
| parent | da800584fd5202def10f4f1c79f20740440754ef (diff) | |
| download | freebsd-ports-2890664339f3f4be5834ab1130da80ff4c914a05.zip | |
- 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
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/uppaal/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
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 |