diff options
Diffstat (limited to 'devel/ahven')
-rw-r--r-- | devel/ahven/Makefile | 3 | ||||
-rw-r--r-- | devel/ahven/files/patch-Makefile | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/devel/ahven/Makefile b/devel/ahven/Makefile index 62086fde7259..7d6cc892354f 100644 --- a/devel/ahven/Makefile +++ b/devel/ahven/Makefile @@ -3,7 +3,7 @@ PORTNAME= ahven PORTVERSION= 2.4 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= devel MASTER_SITES= SF MASTER_SITE_SUBDIR=${PORTNAME}/${PORTNAME}/Ahven%20${PORTVERSION} @@ -17,6 +17,7 @@ BUILD_DEPENDS= adactl:${PORTSDIR}/lang/adacontrol USES= ada ALL_TARGET= build_all +MAKE_ENV+= OS_VERSION=unix OPTIONS_DEFINE= DOCS diff --git a/devel/ahven/files/patch-Makefile b/devel/ahven/files/patch-Makefile index 075da7b98fba..c420dca41971 100644 --- a/devel/ahven/files/patch-Makefile +++ b/devel/ahven/files/patch-Makefile @@ -16,7 +16,7 @@ + mkdir -p $(DESTDIR)$(PREFIX)/lib/gnat + $(BSD_INSTALL_DATA) $(SOURCES) $(DESTDIR)$(PREFIX)/include/ahven + $(BSD_INSTALL_DATA) $(ALI_FILES) $(DESTDIR)$(PREFIX)/lib/ahven -+ $(BSD_INSTALL_LIB) lib/$(STATIC_LIBRARY) $(DESTDIR)$(PREFIX)/lib/ahven ++ $(BSD_INSTALL_DATA) lib/$(STATIC_LIBRARY) $(DESTDIR)$(PREFIX)/lib/ahven + $(BSD_INSTALL_DATA) $(GPR_FILE) $(DESTDIR)$(PREFIX)/lib/gnat install_docs: userguide |