FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
nana 2.5 devel on this many watch lists=2 search for ports that depend on this port
Support for assertion checking and logging using GNU C and GDB
Maintained by: pjm@gnu.org search for ports maintained by this maintainer
Port Added: unknown
License: not specified in port


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').
SVNWeb : Distfiles Availability : PortsMonThere are no ports dependent upon this port

To install the port: cd /usr/ports/devel/nana/ && make install clean
To add the package: pkg install devel/nana


Configuration Options
     No options to configure

Master Sites:
  1. ftp://download.savannah.gnu.org/releases/nana/
  2. http://distcache.FreeBSD.org/ports-distfiles/
  3. http://download.savannah.gnu.org/releases/nana/

Number of commits found: 17

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
24 May 2014 07:50:41
Original commit files touched by this commit  2.5
Revision:354998
vanilla search for other commits by this committer
Fix build.
24 May 2014 07:37:08
Original commit files touched by this commit  2.5
Revision:354997
vanilla search for other commits by this committer
Stageify.

Approved by:	portmgr@
03 Jan 2014 00:46:47
Original commit files touched by this commit  2.5
Revision:338511
bapt search for other commits by this committer
Part 1 at removing now useless FETCH_ARGS redifition
20 Sep 2013 17:13:47
Original commit files touched by this commit  2.5
Revision:327724
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3)
22 Apr 2012 11:03:38
Original commit files touched by this commit  2.5
scheidell search for other commits by this committer
- Unbreak by fixing MASTER_SITES [1]
- Remove MASTER_SITE_GENTOO [2]
- Add in http as default [2]
- Change FETCH_ARGS since mirror sends 302 [2]

PR:             ports/167163 [1]
Submitted by:   Phil Maker <pjm@gnu.org> (maintainer)
Reviewed by:    scheidell (me) [2]
09 Apr 2012 23:51:44
Original commit files touched by this commit  2.5
bapt search for other commits by this committer
Mark as deprecated and set expiration to 2012-05-10 for ports that are mark as
broken for more than 6 month
22 Oct 2011 23:50:23
Original commit files touched by this commit  2.5
eadler search for other commits by this committer
- remove maintainer tags from pkg-descr

Approved by:    portmgr
Approved by:    bapt (mentor)
03 Jul 2011 14:59:23
Original commit files touched by this commit  2.5
ohauer search for other commits by this committer
-remove MD5
22 May 2011 16:34:03
Original commit files touched by this commit  2.5
ehaupt search for other commits by this committer
Mark BROKEN, does not fetch.
04 Dec 2005 07:18:25
Original commit files touched by this commit  2.5
edwin search for other commits by this committer
Enable use of INFO
23 Nov 2005 02:02:15
Original commit files touched by this commit  2.5
mnag search for other commits by this committer
Update to 2.5
Add secondary master site
Add SHA256

PR:             88502
Submitted by:   Jean Milanez Melo <jmelo@freebsdbrasil.com.br>
Approved by:    maintainer timeout, 18 days
31 Mar 2004 03:12:58
Original commit files touched by this commit  2.4_1
trevor search for other commits by this committer
SIZEify (maintainer timeout)
04 Feb 2004 05:21:48
Original commit files touched by this commit  2.4_1
marcus search for other commits by this committer
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.

(Part 2)
21 Feb 2003 11:23:04
Original commit files touched by this commit  2.4
knu search for other commits by this committer
De-pkg-comment.
14 Feb 2001 05:43:01
files touched by this commit
lioux search for other commits by this committer
typo clean up police: \s -> \t    
08 Oct 2000 02:10:04
files touched by this commit
asami search for other commits by this committer
Convert category devel to new layout.  
07 Jun 2000 09:21:39
files touched by this commit
asami search for other commits by this committer
Seems like nana.info has grown and now has three files instead of two.    

Number of commits found: 17

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
i2pJul 28
i2pJul 28
i2pJul 28
bugzilla44Jul 25
apache22Jul 24
apache22-event-mpmJul 24
apache22-itk-mpmJul 24
apache22-peruser-mpmJul 24
apache22-worker-mpmJul 24
firefoxJul 23
firefox-develJul 23
firefox-esrJul 23
firefox10Jul 23
firefox15Jul 23
firefox3Jul 23

11 vulnerabilities affecting 34 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24400
Broken 181
Deprecated 819
Ignore 516
Forbidden 16
Restricted 263
No CDROM 101
Vulnerable 28
Expired 1
Set to expire 806
Interactive 13
new 24 hours 6
new 48 hours9
new 7 days19
new fortnight41
new month105

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.