| Port details |
- nana Support for assertion checking and logging using GNU C and GDB
- 2.5_2 devel
 =4      2.5_2Version of this port present on the latest quarterly branch. - Maintainer: pjm@gnu.org
- Port Added: unknown
- Last Update: 2024-02-23 13:55:21
- Commit Hash: b0bfeb0
- People watching this port, also watch:: gdbm, unzip, p5-Digest-MD5, p5-Locale-gettext, p5-I18N-LangTags
- License: not specified in port
- Description:
- 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').
 ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/nana/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/nana
- pkg install nana
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: nana
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (nana-2.5.tar.gz) = fd1819ffea94b209513959447e4802afe2719600e7d161cd78b265a42812affa
SIZE (nana-2.5.tar.gz) = 359085
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Runtime dependencies:
-
- indexinfo : print/indexinfo
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- devel_nana
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2.5_2
23 Feb 2024 13:55:21
 |
Muhammad Moinur Rahman (bofh) |
devel/nana: Moved man to share/man
Approved by: portmgr (blanket) |
2.5_1
20 Jul 2022 14:21:35
|
Tobias C. Berner (tcberner) |
devel: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* "Waitman Gobble" <uzimac@da3m0n8t3r.com>
* <jkoshy@FreeBSD.org>
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Aaron H. K. Diep <ahkdiep@gmail.com>
* Aaron Hurt <ahurt@anbcs.com>
* Abel Chow <abel_chow@yahoo.com>
* Adam McLaurin
* Adam Saponara <as@php.net>
* Adam Weinberger <adamw@FreeBSD.org>
* Ade Lovett <ade@FreeBSD.org> (Only the first 15 lines of the commit message are shown above  ) |
2.5_1
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
2.5_1
10 Nov 2018 18:12:58
  |
bapt |
Install texinfo files (GNU info) into ${PREFIX}/share/info
After a discussion on the mailing list on moving manpages to
${PREFIX}/share/man for consistency with base where it is
installed in usr/share/man, it appeared the same should happen
to GNU info files which were installed under share in base and
not in ports.
Now texinfo is not in base on any of the supported version of FreeBSD
it is possible to proceed to this move and it is easier to do than
the manpage change.
Other benefit than consistency are less patching: all build tools but
cmake are expecting info files to be under share/info and cmake (patched here)
was having an exception for BSD so the patch makes FreeBSD case less
specific for them
Bump revision of all impacted ports
PR: 232907
exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D17816 |
2.5
19 May 2016 10:21:25
|
amdmi3 |
- Fix trailing whitespace in pkg-descrs, categories [a-f]*
Approved by: portmgr blanket |
2.5
08 Oct 2015 15:11:28
|
olgeni |
Remove trailing whitespace from Makefiles, A-L. |
2.5
27 Oct 2014 10:40:08
|
bapt |
Cleanup plist |
2.5
24 May 2014 07:50:41
|
vanilla |
Fix build. |
2.5
24 May 2014 07:37:08
|
vanilla |
Stageify.
Approved by: portmgr@ |
2.5
03 Jan 2014 00:46:47
|
bapt |
Part 1 at removing now useless FETCH_ARGS redifition |
2.5
20 Sep 2013 17:13:47
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3) |
2.5
22 Apr 2012 11:03:38
|
scheidell |
- 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] |
2.5
09 Apr 2012 23:51:44
|
bapt |
Mark as deprecated and set expiration to 2012-05-10 for ports that are mark as
broken for more than 6 month |
2.5
22 Oct 2011 23:50:23
|
eadler |
- remove maintainer tags from pkg-descr
Approved by: portmgr
Approved by: bapt (mentor) |
2.5
03 Jul 2011 14:59:23
|
ohauer |
-remove MD5 |
2.5
22 May 2011 16:34:03
|
ehaupt |
Mark BROKEN, does not fetch. |
2.5
04 Dec 2005 07:18:25
|
edwin |
Enable use of INFO |
2.5
23 Nov 2005 02:02:15
|
mnag |
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 |
2.4_1
31 Mar 2004 03:12:58
|
trevor |
SIZEify (maintainer timeout) |
2.4_1
04 Feb 2004 05:21:48
|
marcus |
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 2) |
2.4
21 Feb 2003 11:23:04
|
knu |
De-pkg-comment. |
14 Feb 2001 05:43:01
|
lioux |
typo clean up police: \s -> \t |
08 Oct 2000 02:10:04
|
asami |
Convert category devel to new layout. |
07 Jun 2000 09:21:39
|
asami |
Seems like nana.info has grown and now has three files instead of two. |
As an Amazon Associate I earn from qualifying purchases.