From pjm@wattle.cs.ntu.edu.au  Sun Apr 20 23:34:40 1997
Received: from wattle.cs.ntu.edu.au (wattle.cs.ntu.edu.au [138.80.116.16])
          by freefall.freebsd.org (8.8.5/8.8.5) with ESMTP id XAA19399
          for <FreeBSD-gnats-submit@freebsd.org>; Sun, 20 Apr 1997 23:34:38 -0700 (PDT)
Received: (from pjm@localhost)
	by wattle.cs.ntu.edu.au (8.8.5/8.8.5) id QAA25435;
	Mon, 21 Apr 1997 16:04:35 +0930 (CST)
Message-Id: <199704210634.QAA25435@wattle.cs.ntu.edu.au>
Date: Mon, 21 Apr 1997 16:04:35 +0930 (CST)
From: Phil Maker <pjm@wattle.cs.ntu.edu.au>
Reply-To: pjm@cs.ntu.edu.au
To: FreeBSD-gnats-submit@freebsd.org
Subject: A new port for the collection
X-Send-Pr-Version: 3.2

>Number:         3363
>Category:       ports
>Synopsis:       port of nana-1.00 for your collection
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    max
>State:          closed
>Quarter:
>Keywords:
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Sun Apr 20 23:40:01 PDT 1997
>Closed-Date:    Wed Oct 15 13:04:25 PDT 1997
>Last-Modified:  Wed Oct 15 13:04:58 PDT 1997
>Originator:     Phil Maker
>Release:        FreeBSD 2.1.7-RELEASE i386
>Organization:
Northern Territory University
>Environment:

>Description:

I've made a port and package set for the nana-1.00 library
under FreeBSD. Its been tested under 2.1.7 and 2.2.1 as well
as about 6 other UNICES.

What is it? a library providing improved support for assertion
	checking and logging (programming by contract, formal
	methods, ...)

Where is it? 

ftp://ftp.cs.ntu.edu.au/pub/nana/nana-1.00.tar.gz - GNU tarball
		with configure, etc.

ftp://ftp.cs.ntu.edu.au/pub/nana/nana.tar.gz - FreeBSD port tar file
		(BTW what should this be called!)

ftp://ftp.cs.ntu.edu.au/pub/nana/nana-1.00.tgz - FreeBSD package

I will upload these packages as directed to incoming as well.
See http://www.cs.ntu.edu.au/homepages/pjm/index.html for more
information on nana.

Thanks, Phil Maker pjm@cs.ntu.edu.au

>How-To-Repeat:



>Fix:
	

>Release-Note:
>Audit-Trail:
State-Changed-From-To: analyzed->open 
State-Changed-By: max 
State-Changed-When: Mon Jul 21 20:03:01 PDT 1997 
State-Changed-Why:  
The record doesn't show who changed the status from open to analyzed 
for what reason.  So I'm re-opening this PR. 

From: asami@cs.berkeley.edu (Satoshi Asami)
To: max@FreeBSD.ORG
Cc: pjm@cs.ntu.edu.au, max@FreeBSD.ORG, freebsd-gnats-submit@FreeBSD.ORG
Subject: Re: ports/3363
Date: Mon, 21 Jul 1997 20:33:28 -0700 (PDT)

  * The record doesn't show who changed the status from open to analyzed
  * for what reason.  So I'm re-opening this PR.
 
 Hmm.  Did gnats eat this one without recording it?
 
 Satoshi
 -------
 From: Satoshi Asami <asami@FreeBSD.ORG>
 Date: Wed, 4 Jun 1997 00:32:35 -0700 (PDT)
 To: pjm@cs.ntu.edu.au, asami@FreeBSD.org, freebsd-ports@FreeBSD.org
 Subject: Re: ports/3363
 
 Synopsis: port of nana-1.00 for your collection
 
 State-Changed-From-To: open->analyzed
 State-Changed-By: asami
 State-Changed-When: Wed Jun 4 00:29:08 PDT 1997
 State-Changed-Why: 
 
 The distfile is no longer available at your site.  I got the
 1.05 distfile but the installation fails with
 
 install -c -s -o bin -g bin -m 555 nana-c++lg /usr/local/bin/nana-c++lg
 strip: /usr/local/bin/nana-c++lg: Inappropriate file type or format
 
 This is a shell script.
 
 At this point I'm going to give the port back to you.  Please make
 necessary updates and re-submit (as a reply to this mail not a new
 send-pr).
 
 Here are my changes so far:
 
 ===
 diff -ru nana/Makefile nana.new/Makefile
 --- nana/Makefile	Mon Apr 21 03:48:17 1997
 +++ nana.new/Makefile	Wed Jun  4 00:19:27 1997
 @@ -3,10 +3,10 @@
  # 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 $
 +# $Id$
  #
  
 -DISTNAME=	nana-1.00
 +DISTNAME=	nana-1.05
  CATEGORIES=	devel
  MASTER_SITES=	ftp://ftp.cs.ntu.edu.au/pub/nana/
  
 @@ -14,9 +14,6 @@
  
  GNU_CONFIGURE=	yes
  USE_GMAKE=	yes
 -
 -BUILD_DEPENDS = gmake:${PORTSDIR}/devel/gmake \
 -		gdb:${PORTSDIR}/devel/gdb 
  
  MAN1 = 		nana.1 nana-clg.1 
  MAN3 = 		nana.3 I.3 DI.3 L.3 DL.3 Q.3 
 Only in nana.new: Makefile~
 diff -ru nana/files/md5 nana.new/files/md5
 --- nana/files/md5	Sun Apr 20 21:23:53 1997
 +++ nana.new/files/md5	Wed Jun  4 00:22:57 1997
 @@ -1 +1 @@
 -MD5 (nana-1.00.tar.gz) = 28ca01ab1e7d9c998fd5216d651d4976
 +MD5 (nana-1.05.tar.gz) = c7bd7c7dd13f13929ca23a9968ce6c39
 diff -ru nana/pkg/DESCR nana.new/pkg/DESCR
 --- nana/pkg/DESCR	Mon Apr 21 03:11:38 1997
 +++ nana.new/pkg/DESCR	Wed Jun  4 00:16:43 1997
 @@ -20,5 +20,3 @@
  	o Support for before and after state saving and checking (x, x').
  
  Phil Maker <pjm@cs.ntu.edu.au>
 -	
 -
 diff -ru nana/pkg/PLIST nana.new/pkg/PLIST
 --- nana/pkg/PLIST	Mon Apr 21 03:09:14 1997
 +++ nana.new/pkg/PLIST	Wed Jun  4 00:17:03 1997
 @@ -1,30 +1,30 @@
 -lib/libnana.a
 -libexec/nanafilter
 -libexec/nana-run.gdb
 -libexec/nana-run-init.gdb
 -libexec/nana-trace.gdb
  bin/nana
  bin/nana-clg
  bin/nana-run
  bin/nana-trace
 -include/nana-config.h
 -include/nana.h
  include/DI.h
 -include/I.h
  include/DL.h
 -include/L.h
 -include/Q.h
  include/GDB.h
 +include/I.h
 +include/L.h
  include/L_buffer.h
 +include/Q.h
 +include/nana-config.h
 +include/nana.h
  include/now.h
  info/nana.info
  info/nana.info-1
  info/nana.info-2
 -man/man1/nana-clg.1
 -man/man1/nana.1
 -man/man3/Q.3
 -man/man3/DI.3
 -man/man3/nana.3
 -man/man3/DL.3
 -man/man3/I.3
 -man/man3/L.3
 +lib/libnana.a
 +libexec/nana-run-init.gdb
 +libexec/nana-run.gdb
 +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/nana.3.gz
 ===
 
 Please start from here (and test "make package").
 
 

From: asami@cs.berkeley.edu (Satoshi Asami)
To: max@wide.ad.jp
Cc: pjm@cs.ntu.edu.au, freebsd-gnats-submit@FreeBSD.ORG, max@wide.ad.jp
Subject: Re: ports/3363
Date: Mon, 21 Jul 1997 20:42:41 -0700 (PDT)

  * Also, I noticed that you can't install this port if you set ${PREFIX}
  * to other than /usr/local.
 
 Hmm.  By the way, I exchanged a couple of e-mails with the submitter
 on this port, let me know if you are interested in continuing the work 
 (my archive says the conversation abruptly ended for no reason, but I
 am too busy to follow up on that...).
 
 Satoshi
Responsible-Changed-From-To: freebsd-ports->max 
Responsible-Changed-By: max 
Responsible-Changed-When: Sat Jul 26 22:11:05 PDT 1997 
Responsible-Changed-Why:  
I'm working on this port. 
State-Changed-From-To: open->closed 
State-Changed-By: max 
State-Changed-When: Wed Oct 15 13:04:25 PDT 1997 
State-Changed-Why:  
The port, finally, imported. 
>Unformatted:
