diff options
| author | bdrewery <bdrewery@FreeBSD.org> | 2013-08-29 22:11:28 +0800 |
|---|---|---|
| committer | bdrewery <bdrewery@FreeBSD.org> | 2013-08-29 22:11:28 +0800 |
| commit | 97231bafacb420b46161678a760a8f54ad232504 (patch) | |
| tree | 85d87baeabc89bbc097befdaa6207c5d6bc81d0a | |
| parent | d12d781dfcb5c380ac68ed26c7ea876fee670e6c (diff) | |
| download | freebsd-ports-gnome-97231bafacb420b46161678a760a8f54ad232504.tar.gz freebsd-ports-gnome-97231bafacb420b46161678a760a8f54ad232504.tar.zst freebsd-ports-gnome-97231bafacb420b46161678a760a8f54ad232504.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
| -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 |