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

Port details
nana Support for assertion checking and logging using GNU C and GDB
2.5 devel on this many watch lists=2 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: 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 : PortsMon

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

PKGNAME: nana


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Runtime dependencies:
  1. indexinfo : print/indexinfo
There are no ports dependent upon this port

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: 20

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
19 May 2016 10:21:25
Original commit files touched by this commit  2.5
Revision:415498
amdmi3 search for other commits by this committer
- Fix trailing whitespace in pkg-descrs, categories [a-f]*

Approved by:	portmgr blanket
08 Oct 2015 15:11:28
Original commit files touched by this commit  2.5
Revision:398832
olgeni search for other commits by this committer
Remove trailing whitespace from Makefiles, A-L.
27 Oct 2014 10:40:08
Original commit files touched by this commit  2.5
Revision:371546
bapt search for other commits by this committer
Cleanup plist
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: 20

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
mediawiki123May 24
mediawiki124May 24
mediawiki125May 24
mediawiki126May 24
expat2May 20
wpa_supplicantMay 20
bugzilla44May 17
bugzilla50May 17
openvpnMay 14
openvpn-polarsslMay 14
ImageMagickMay 13
ImageMagick-nox11May 13
ImageMagick7May 13
ImageMagick7-nox11May 13
jenkinsMay 12

10 vulnerabilities affecting 29 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 26066
Broken 287
Deprecated 61
Ignore 553
Forbidden 0
Restricted 202
No CDROM 85
Vulnerable 53
Expired 19
Set to expire 49
Interactive 0
new 24 hours 4
new 48 hours8
new 7 days25
new fortnight71
new month114

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