diff options
| author | John Marino <marino@FreeBSD.org> | 2014-05-24 21:46:07 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2014-05-24 21:46:07 +0000 |
| commit | 0ffe02b8174b7a2224341ede9f1448295b2c86a0 (patch) | |
| tree | ba8b147b12127be0bedb5fc203cd8f1c2ad3cce1 /lang/gnat_util | |
| parent | a9ee86fad59448245749e0ea9c4a1fa70c33019b (diff) | |
| download | ports-0ffe02b8174b7a2224341ede9f1448295b2c86a0.tar.gz ports-0ffe02b8174b7a2224341ede9f1448295b2c86a0.zip | |
Notes
Diffstat (limited to 'lang/gnat_util')
| -rw-r--r-- | lang/gnat_util/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lang/gnat_util/Makefile b/lang/gnat_util/Makefile index e67f31d58e14..5dc2e645ce45 100644 --- a/lang/gnat_util/Makefile +++ b/lang/gnat_util/Makefile @@ -3,7 +3,7 @@ PORTNAME= gnat_util PORTVERSION= ${SNAPSHOT} -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= lang MASTER_SITES= ${MASTER_SITE_GCC} MASTER_SITE_SUBDIR= ${MS_SUBDIR} @@ -35,6 +35,9 @@ post-extract: .endfor post-install: + # impunit is needed for GPS menus, just provide the source files + ${INSTALL_DATA} ${WRKDIR}/${DISTNAME}/gcc/ada/impunit.* \ + ${STAGEDIR}${PREFIX}/include/gnat_util @cd ${STAGEDIR}${PREFIX}; ${FIND} * \( -type f -or -type l \) | \ ${SORT} >> ${TMPPLIST} @cd ${STAGEDIR}${PREFIX}; ${FIND} * -type d | ${AWK} '/\//' | \ |