diff options
-rw-r--r-- | lang/gnat-gcc43/Makefile | 4 | ||||
-rw-r--r-- | lang/gnat-gcc44/Makefile | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/lang/gnat-gcc43/Makefile b/lang/gnat-gcc43/Makefile index 8647ef3049b2..23320128bc9a 100644 --- a/lang/gnat-gcc43/Makefile +++ b/lang/gnat-gcc43/Makefile @@ -55,6 +55,10 @@ LATEST_LINK= ${PORTNAME}${gcc_suffix} .include <bsd.port.pre.mk> +.if ${OSVERSION} >= 900000 +BROKEN= Does not install (missing distinfo for FreeBSD-9) +.endif + srcdir= ${WRKDIR}/gcc-${PORTVERSION} gcc_suffix= 43 fsf_mans= fsf-funding gfdl gpl diff --git a/lang/gnat-gcc44/Makefile b/lang/gnat-gcc44/Makefile index 12b844f6e71b..8004b781eba8 100644 --- a/lang/gnat-gcc44/Makefile +++ b/lang/gnat-gcc44/Makefile @@ -58,6 +58,10 @@ LATEST_LINK= ${PORTNAME}${gcc_suffix} IGNORE= only works on 7.0+ .endif +.if ${OSVERSION} >= 900000 +BROKEN= Does not install (missing distinfo for FreeBSD-9) +.endif + srcdir= ${WRKDIR}/gcc-${PORTVERSION} gcc_suffix= 44 fsf_mans= fsf-funding gfdl gpl |