14 files changed, 283 insertions, 0 deletions

diff --git a/lang/gnat-doc-html/Makefile b/lang/gnat-doc-html/Makefile
new file mode 100644
index 000000000000..9d280f80bb1a
--- /dev/null
+++ b/lang/gnat-doc-html/Makefile
@@ -0,0 +1,78 @@
+# New ports collection makefile for:    gnat-doc
+# Date created:         4 Sept 2001
+# Whom:                 John Merryweather Cooper <jmcoopr@webmail.bmi.net>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	gnat-doc
+PORTVERSION=	3.13p
+CATEGORIES=	lang
+MASTER_SITES=	ftp://cs.nyu.edu/pub/gnat/%SUBDIR%/ \
+		ftp://ftp.cdrom.com/pub/languages/ada/compiler/gnat/%SUBDIR%/ \
+		ftp://wuarchive.wustl.edu/languages/ada/compiler/gnat/%SUBDIR%/ \
+		ftp://ftp.cs.kuleuven.ac.be/pub/Ada-Belgium/mirrors/cs.nyu.edu/pub/gnat/%SUBDIR%/ \
+		ftp://ftp.cs.tu-berlin.de/pub/gnat/%SUBDIR%/ \
+		ftp://ftp.informatik.rwth-aachen.de/pub/mirror/cs.nyu.edu/pub/gnat/%SUBDIR%/ \
+		ftp://ftp.lip6.fr/pub/gnat/%SUBDIR%/ \
+		ftp://ftp.cnam.fr/pub/Ada/PAL/compiler/gnat/%SUBDIR%/ \
+		ftp://ftp.fss.bme.hu/pub/ada/gnat/%SUBDIR%/
+MASTER_SITE_SUBDIR=	${PORTVERSION}
+PKGNAMESUFFIX=	-${DOCFORMAT}
+DISTNAME=	gnat-${PORTVERSION}-docs
+
+MAINTAINER=	jmcoopr@webmail.bmi.net
+
+WRKSRC=		${WRKDIR}/gnat-${PORTVERSION}-unx-docs
+NO_BUILD=	yes
+PLIST=		${MASTERDIR}/pkg-plist_${DOCFORMAT}
+PKGMESSAGE=	${MASTERDIR}/pkg-message_${DOCFORMAT}
+
+DOCFORMAT?=	html
+DOCSDIR=	${PREFIX}/share/doc/gnat/${DOCFORMAT}
+
+SEC_LABEL=	"Programming & development tools."
+INSTALL_INFO=	install-info --section=${SEC_LABEL}
+ARM_LABEL=	"* ARM95: (arm95).                  Ada 95 Annotated Reference Manual."
+GCC_LABEL=	"* Adagcc: (gcc).                   GNAT gcc 2.8.1 compiler reference."
+RM_LABEL=	"* Gnat_rm: (gnat_rm).              GNAT Reference Manual."
+UG_LABEL=	"* Gnat_ug: (gnat_ug).              GNAT User Guide."
+
+.if ${DOCFORMAT} != "html" && ${DOCFORMAT} != "info" && ${DOCFORMAT} != "ps" && ${DOCFORMAT} != "texi" && ${DOCFORMAT} != "txt"
+.BEGIN:
+	@${ECHO} "ERROR: invalid value for DOCFORMAT: \"${DOCFORMAT}\""
+	@${ECHO} "Possible values are:  html, info, ps, texi,"
+	@${ECHO} "and txt."
+	@${FALSE}
+.endif
+
+pre-install:
+	@${CP} ${PKGDIR}/pkg-plist_${DOCFORMAT} ${WRKDIR}
+	@${CP} ${PKGDIR}/pkg-message_${DOCFORMAT} ${WRKDIR}
+
+do-install:
+.if !defined(NOPORTDOCS)
+
+.if ${DOCFORMAT} == "info"
+	@${MKDIR} ${PREFIX}/info
+	@${INSTALL_MAN} ${WRKSRC}/${DOCFORMAT}/* ${PREFIX}/info
+	@if [ ! -f ${PREFIX}/info/dir ]; then \
+		${SED} -ne '1,/Menu:/p' \/usr\/share\/info/dir > ${PREFIX}/info/dir; \
+	fi
+	@${INSTALL_INFO} --item=${ARM_LABEL} ${PREFIX}/info/arm95.info ${PREFIX}/info/dir
+	@${INSTALL_INFO} --item=${GCC_LABEL} ${PREFIX}/info/gcc.info ${PREFIX}/info/dir
+	@${INSTALL_INFO} --item=${RM_LABEL} ${PREFIX}/info/gnat_rm.info ${PREFIX}/info/dir
+	@${INSTALL_INFO} --item=${UG_LABEL} ${PREFIX}/info/gnat_ug.info ${PREFIX}/info/dir
+.else
+	@${MKDIR} ${DOCSDIR}
+	@${INSTALL_MAN} ${WRKSRC}/${DOCFORMAT}/* ${DOCSDIR}
+.endif
+
+.endif
+
+post-install:
+.if !defined(NOPORTDOCS)
+	@${CAT} ${PKGMESSAGE} | ${SED} -e 's:/usr/local:${PREFIX}:'
+.endif
+
+.include <bsd.port.mk>
diff --git a/lang/gnat-doc-html/distinfo b/lang/gnat-doc-html/distinfo
new file mode 100644
index 000000000000..a3564a4e7f73
--- /dev/null
+++ b/lang/gnat-doc-html/distinfo
@@ -0,0 +1 @@
+MD5 (gnat-3.13p-docs.tar.gz) = 8f5162dfc23d822d753536d3053f0bdb
diff --git a/lang/gnat-doc-html/pkg-comment b/lang/gnat-doc-html/pkg-comment
new file mode 100644
index 000000000000..2b1ace32cd32
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-comment
@@ -0,0 +1 @@
+Documentation for the GNAT compiler
diff --git a/lang/gnat-doc-html/pkg-descr b/lang/gnat-doc-html/pkg-descr
new file mode 100644
index 000000000000..3b98102c1c58
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-descr
@@ -0,0 +1,7 @@
+Documentation for the GNAT 3.13p compiler in html, info, postscript,
+TeXi, or plain-text formats.
+
+WWW: http://www.gnat.com/
+
+--
+John Merryweather Cooper <jmcoopr@webmail.bmi.net>
diff --git a/lang/gnat-doc-html/pkg-message_html b/lang/gnat-doc-html/pkg-message_html
new file mode 100644
index 000000000000..d6d3a2054cc9
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-message_html
@@ -0,0 +1,21 @@
+
+*********************************************************************
+
+NOTE:
+
+You may find it useful to add the following URL's to your browser:
+
+	Ada 95 Annotated Reference Manual
+		file://usr/local/share/doc/gnat/html/arm95.html
+
+	GNAT gcc 2.8.1 Compiler Manual
+		file://usr/local/share/doc/gnat/html/gcc.html
+
+	GNAT Reference Manual
+		file://usr/local/share/doc/gnat/html/gnat_rm.html
+
+	GNAT User Guide
+		file://usr/local/share/doc/gnat/html/gnat_ug.html
+
+*********************************************************************
+
diff --git a/lang/gnat-doc-html/pkg-message_info b/lang/gnat-doc-html/pkg-message_info
new file mode 100644
index 000000000000..7c2284187eac
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-message_info
@@ -0,0 +1,11 @@
+
+*********************************************************************
+
+NOTE:
+
+GNU info browser entries have been installed in /usr/local/info/dir.
+If entries do not appear in your info browser, make sure that
+/usr/local/info is in your INFOPATH.
+
+*********************************************************************
+
diff --git a/lang/gnat-doc-html/pkg-message_ps b/lang/gnat-doc-html/pkg-message_ps
new file mode 100644
index 000000000000..ae664f96320d
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-message_ps
@@ -0,0 +1,10 @@
+
+*********************************************************************
+
+NOTE:
+
+Postscript documentation has been installed in
+/usr/local/share/doc/gnat/ps.
+
+*********************************************************************
+
diff --git a/lang/gnat-doc-html/pkg-message_texi b/lang/gnat-doc-html/pkg-message_texi
new file mode 100644
index 000000000000..7cc05e38d1da
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-message_texi
@@ -0,0 +1,10 @@
+
+*********************************************************************
+
+NOTE:
+
+TeXi documentation has been installed in
+/usr/local/share/doc/gnat/texi.
+
+*********************************************************************
+
diff --git a/lang/gnat-doc-html/pkg-message_txt b/lang/gnat-doc-html/pkg-message_txt
new file mode 100644
index 000000000000..43d4049f4045
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-message_txt
@@ -0,0 +1,10 @@
+
+*********************************************************************
+
+NOTE:
+
+ASCII Text documentation has been installed in
+/usr/local/share/gnat/txt.
+
+*********************************************************************
+
diff --git a/lang/gnat-doc-html/pkg-plist_html b/lang/gnat-doc-html/pkg-plist_html
new file mode 100644
index 000000000000..7344e7fee752
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-plist_html
@@ -0,0 +1,8 @@
+share/doc/gnat/html/arm95.html
+share/doc/gnat/html/gcc.html
+share/doc/gnat/html/gdb.html
+share/doc/gnat/html/gdbtk.html
+share/doc/gnat/html/gnat_rm.html
+share/doc/gnat/html/gnat_ug.html
+@dirrm share/doc/gnat/html
+@unexec rmdir %D/share/doc/gnat 2>/dev/null || true
diff --git a/lang/gnat-doc-html/pkg-plist_info b/lang/gnat-doc-html/pkg-plist_info
new file mode 100644
index 000000000000..d0ec269e684e
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-plist_info
@@ -0,0 +1,91 @@
+info/arm95.info
+info/arm95.info-1
+info/arm95.info-10
+info/arm95.info-11
+info/arm95.info-12
+info/arm95.info-13
+info/arm95.info-14
+info/arm95.info-15
+info/arm95.info-16
+info/arm95.info-17
+info/arm95.info-18
+info/arm95.info-19
+info/arm95.info-2
+info/arm95.info-20
+info/arm95.info-21
+info/arm95.info-22
+info/arm95.info-23
+info/arm95.info-24
+info/arm95.info-25
+info/arm95.info-26
+info/dir
+info/arm95.info-27
+info/arm95.info-28
+info/arm95.info-29
+info/arm95.info-3
+info/arm95.info-30
+info/arm95.info-31
+info/arm95.info-32
+info/arm95.info-33
+info/arm95.info-34
+info/arm95.info-35
+info/arm95.info-36
+info/arm95.info-37
+info/arm95.info-38
+info/arm95.info-39
+info/arm95.info-4
+info/arm95.info-40
+info/arm95.info-41
+info/arm95.info-42
+info/arm95.info-43
+info/arm95.info-5
+info/arm95.info-6
+info/arm95.info-7
+info/arm95.info-8
+info/arm95.info-9
+info/gcc.info
+info/gcc.info-1
+info/gcc.info-10
+info/gcc.info-11
+info/gcc.info-12
+info/gcc.info-13
+info/gcc.info-14
+info/gcc.info-2
+info/gcc.info-3
+info/gcc.info-4
+info/gcc.info-5
+info/gcc.info-6
+info/gcc.info-7
+info/gcc.info-8
+info/gcc.info-9
+info/gdb.info
+info/gdb.info-1
+info/gdb.info-2
+info/gdb.info-3
+info/gdb.info-4
+info/gdb.info-5
+info/gdb.info-6
+info/gdb.info-7
+info/gdb.info-8
+info/gdb.info-9
+info/gdbtk.info
+info/gnat_rm.info
+info/gnat_rm.info-1
+info/gnat_rm.info-2
+info/gnat_rm.info-3
+info/gnat_rm.info-4
+info/gnat_rm.info-5
+info/gnat_rm.info-6
+info/gnat_rm.info-7
+info/gnat_rm.info-8
+info/gnat_rm.info-9
+info/gnat_ug.info
+info/gnat_ug.info-1
+info/gnat_ug.info-2
+info/gnat_ug.info-3
+info/gnat_ug.info-4
+info/gnat_ug.info-5
+info/gnat_ug.info-6
+info/gnat_ug.info-7
+info/gnat_ug.info-8
+info/gnat_ug.info-9
diff --git a/lang/gnat-doc-html/pkg-plist_ps b/lang/gnat-doc-html/pkg-plist_ps
new file mode 100644
index 000000000000..3fbcb9f33690
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-plist_ps
@@ -0,0 +1,9 @@
+share/doc/gnat/ps/arm95.ps
+share/doc/gnat/ps/gcc.ps
+share/doc/gnat/ps/gdb.ps
+share/doc/gnat/ps/gdbtk.ps
+share/doc/gnat/ps/gnat_rm.ps
+share/doc/gnat/ps/gnat_ug.ps
+share/doc/gnat/ps/refcard.ps
+@dirrm share/doc/gnat/ps
+@unexec rmdir %D/share/doc/gnat 2>/dev/null || true
diff --git a/lang/gnat-doc-html/pkg-plist_texi b/lang/gnat-doc-html/pkg-plist_texi
new file mode 100644
index 000000000000..3b1afc3cb4cf
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-plist_texi
@@ -0,0 +1,18 @@
+share/doc/gnat/texi/arm95.texi
+share/doc/gnat/texi/cpp.texi
+share/doc/gnat/texi/extend.texi
+share/doc/gnat/texi/gcc.texi
+share/doc/gnat/texi/gcov.texi
+share/doc/gnat/texi/gdb.texinfo
+share/doc/gnat/texi/gdbtk.texinfo
+share/doc/gnat/texi/gnat_rm.texi
+share/doc/gnat/texi/gnat_ug_unx.texi
+share/doc/gnat/texi/install.texi
+share/doc/gnat/texi/invoke.texi
+share/doc/gnat/texi/md.texi
+share/doc/gnat/texi/rtl.texi
+share/doc/gnat/texi/texinfo.tex
+share/doc/gnat/texi/texiplus.tex
+share/doc/gnat/texi/tm.texi
+@dirrm share/doc/gnat/texi
+@unexec rmdir %D/share/doc/gnat 2>/dev/null || true
diff --git a/lang/gnat-doc-html/pkg-plist_txt b/lang/gnat-doc-html/pkg-plist_txt
new file mode 100644
index 000000000000..9285fb20a74b
--- /dev/null
+++ b/lang/gnat-doc-html/pkg-plist_txt
@@ -0,0 +1,8 @@
+share/doc/gnat/txt/arm95.txt
+share/doc/gnat/txt/gcc.txt
+share/doc/gnat/txt/gdb.txt
+share/doc/gnat/txt/gdbtk.txt
+share/doc/gnat/txt/gnat_rm.txt
+share/doc/gnat/txt/gnat_ug.txt
+@dirrm share/doc/gnat/txt
+@unexec rmdir %D/share/doc/gnat 2>/dev/null || true