New port, nana:

Improved support for assertion checking and logging using GNU C and GDB.

PR:		3363
Submitted by:	Phil maker <pjm@cs.ntu.edu.au>

5 files changed, 93 insertions, 0 deletions

diff --git a/devel/nana/Makefile b/devel/nana/Makefile
new file mode 100644
index 000000000000..a3be3a62bee7
--- /dev/null
+++ b/devel/nana/Makefile
@@ -0,0 +1,28 @@
+# New ports collection makefile for:    nana
+# Version required:     1.09
+# Date created:         20th April 1997
+# Whom:                 Phil Maker <pjm@cs.ntu.edu.au>
+#
+# $Id: Makefile,v 1.1.1.1 1997/04/20 19:29:24 pjm Exp $
+#
+
+DISTNAME=	nana-1.09
+CATEGORIES=	devel
+MASTER_SITES=	ftp://ftp.cs.ntu.edu.au/pub/nana/
+
+MAINTAINER=	pjm@cs.ntu.edu.au
+
+GNU_CONFIGURE=	yes
+USE_GMAKE=	yes
+
+RUN_DEPENDS=	gdb:${PORTSDIR}/devel/gdb
+
+MAN1=		nana.1 nana-clg.1
+MAN3= 		nana.3 I.3 DI.3 L.3 DL.3 Q.3 Qstl.3
+
+pre-install:
+	@if [ ! -f ${PREFIX}/info/dir ]; then \
+	  ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \
+	 fi
+
+.include <bsd.port.mk>
diff --git a/devel/nana/distinfo b/devel/nana/distinfo
new file mode 100644
index 000000000000..d5e5921a1584
--- /dev/null
+++ b/devel/nana/distinfo
@@ -0,0 +1 @@
+MD5 (nana-1.09.tar.gz) = b46580727a5bafb5777eae8e698ca99e
diff --git a/devel/nana/pkg-comment b/devel/nana/pkg-comment
new file mode 100644
index 000000000000..b254b6a585c6
--- /dev/null
+++ b/devel/nana/pkg-comment
@@ -0,0 +1 @@
+Improved support for assertion checking and logging using GNU C and GDB.
diff --git a/devel/nana/pkg-descr b/devel/nana/pkg-descr
new file mode 100644
index 000000000000..a51a34fdf4a3
--- /dev/null
+++ b/devel/nana/pkg-descr
@@ -0,0 +1,23 @@
+Nana provides improved support for assertion checking and logging in C, C++ 
+using GDB. In particular it provides:
+
+	o Operations can be implemented directly in C or by generating 
+	  debugger commands which do the checking and logging only if the 
+	  application is run under the debugger. The debugger based calls
+	  require are very space efficient (0 or 1 bytes per call). 
+	o Support for checking real time constraints.
+	o Support for assertion (invariant checking) including:
+		+ Space and time efficient (at least versus <assert.h>)
+		  For example: assert(i>=0) uses 53 bytes on a i386 vs 
+		  an optimised nana call which uses 10 bytes per call.
+		+ Checking can be turned on or off at compile or run time.
+		+ The action taken when an error is detected can be modified 
+		  on a global and per/call basis.
+	o Support for logging (printf style debugging) including:
+		+ Logging can be turned on and off at compile or run time.
+		+ Logging to files, processes or circular buffers in memory
+		  with optional time stamping.
+	o Support for the quantifiers of predicate calculus (forall, exists).
+	o Support for before and after state saving and checking (x, x').
+
+Phil Maker <pjm@cs.ntu.edu.au>
diff --git a/devel/nana/pkg-plist b/devel/nana/pkg-plist
new file mode 100644
index 000000000000..c66ff4973ee3
--- /dev/null
+++ b/devel/nana/pkg-plist
@@ -0,0 +1,40 @@
+bin/nana
+bin/nana-c++lg
+bin/nana-clg
+bin/nana-run
+bin/nana-trace
+include/DI.h
+include/DL.h
+include/GDB.h
+include/I.h
+include/L.h
+include/L_buffer.h
+include/Q.h
+include/Qstl.h
+include/calls.h
+include/eiffel.h
+include/nana-config.h
+include/nana.h
+include/nana_error.h
+include/now.h
+@unexec install-info --delete %D/info/nana.info %D/info/dir
+info/nana.info
+info/nana.info-1
+info/nana.info-2
+@exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir
+@exec install-info %D/info/nana.info %D/info/dir
+lib/libnana.a
+libexec/nana-trace.gdb
+libexec/nanafilter
+man/man1/nana-clg.1.gz
+man/man1/nana.1.gz
+man/man3/DI.3.gz
+man/man3/DL.3.gz
+man/man3/I.3.gz
+man/man3/L.3.gz
+man/man3/Q.3.gz
+man/man3/Qstl.3.gz
+man/man3/nana.3.gz
+share/nana/nana-run-init.gdb
+share/nana/nana-run.gdb
+@dirrm share/nana