---
name: nana
version: 2.5
origin: devel/nana
comment: Support for assertion checking and logging using GNU C and GDB
arch: freebsd:9:x86:64
www: UNKNOWN
maintainer: pjm@gnu.org
prefix: /usr/local
licenselogic: single
flatsize: 234995
desc: "Nana provides improved support for assertion checking and logging in C, C++
  \nusing GDB. In particular it provides:\n\n\to Operations can be implemented directly
  in C or by generating \n\t  debugger commands which do the checking and logging
  only if the \n\t  application is run under the debugger. The debugger based calls\n\t
  \ require are very space efficient (0 or 1 bytes per call). \n\to Support for checking
  real time constraints.\n\to Support for assertion (invariant checking) including:\n\t\t+
  Space and time efficient (at least versus <assert.h>)\n\t\t  For example: assert(i>=0)
  uses 53 bytes on a i386 vs \n\t\t  an optimised nana call which uses 10 bytes per
  call.\n\t\t+ Checking can be turned on or off at compile or run time.\n\t\t+ The
  action taken when an error is detected can be modified \n\t\t  on a global and per/call
  basis.\n\to Support for logging (printf style debugging) including:\n\t\t+ Logging
  can be turned on and off at compile or run time.\n\t\t+ Logging to files, processes
  or circular buffers in memory\n\t\t  with optional time stamping.\n\to Support for
  the quantifiers of predicate calculus (forall, exists).\n\to Support for before
  and after state saving and checking (x, x').\n"
categories: [devel]
files:
  /usr/local/bin/nana: da531e6d83144b9e4b33a6cdd46ca9af91599c9c6ee2a9aefe9e1d233cb384d3
  /usr/local/bin/nana-c++lg: ef0db09fb8b3a1fc4301d9df26fdb06c32edb1f3ddc5275539ae99818bce43d1
  /usr/local/bin/nana-clg: 185499d67ea1e60a3e237ebb00bdecc1f7e602c8de11516fcc366ad9d61d6496
  /usr/local/bin/nana-libtrace: 564061e4ca4b403aaa03117a503023278c27aa18b2477f9cb11c31141f966a76
  /usr/local/bin/nana-run: 986e87ffabe3cb32a96a46dcdcdbfce3341781d2c7ae570b7c9f51d4f72c0773
  /usr/local/bin/nana-sfdir: 397e11a6f570f4e403ce267103cff826a19351cfd1f6dfdd9e8e7dcea3eae1e6
  /usr/local/bin/nana-sfg: ba751343f141d14be7bf955a952129b6abe821b03713eec32982ed866bb0ae79
  /usr/local/bin/nana-trace: 40dcc1b09818285e849eb226dc780d75f12ba99109b53d9e942c0b53a0269c09
  /usr/local/include/DI.h: 1af3eab5d325dfc1d466aff67c8c2cafbc50ae3b631f6b8d5b58c31bedfacd72
  /usr/local/include/DL.h: 5d30ed62ce9e64451c0442fccdd42f9a7e09fdbdfde5de16f7723eb74f77dec4
  /usr/local/include/GDB.h: 2bf52834aa01bec6668d1bdb3c8308edcbc61ed6b38502df578dc16128cab1ce
  /usr/local/include/I.h: ac3ed84c065a4be0db4576011c01128fa19f4394e23a544a5e04b32afeb7da36
  /usr/local/include/L.h: 9e777f963311fbf201d73d4fa51149e981a4075425340feae15429153ed6f9ae
  /usr/local/include/L_buffer.h: 827abf0e90644ed9de63f529cf66961a85fcf80e88abc3220241418466c4eb58
  /usr/local/include/L_times.h: 9a27f6efe6cf80e70c3daeb94fb7dfe875e1138cc83a79a76e84a8cbe7e806f9
  /usr/local/include/Q.h: 37e7e146de29e94224f3ced4db17f89dbf58c8f86bd149b6828b1a8e8d03929a
  /usr/local/include/Qstl.h: 7299fb4dbd2a6bcc39d9046c19649f2cc8693690e49346bc0f46b3485cc9093b
  /usr/local/include/calls.h: c69e0f1eb7d6a09b5bf5503dfb6d2f68b4e5a92fb1a2dea9523ca805ff5359d7
  /usr/local/include/cycles.h: 837ac7a6ab9ffca7fceba23b665ed76dde8835ed7a46f69427bcec05d099bb15
  /usr/local/include/eiffel.h: 2c2b415922882225de204a364d335ec03efd0b9fd1619386584ec14d71c172d8
  /usr/local/include/nana-config.h: 0c1519b64bbcc56f2928dc71c3261dcc362b161a8642cb867b9df2a304344259
  /usr/local/include/nana.h: 586b38c662f6263b1bfd88bf6114b5344ae9d96e0cc9c3b866fe439fc0abc76d
  /usr/local/include/nana_error.h: 33ccaadff5cb6e637376911c7f9e532fee300106a3989107cf0a02e4f69b8945
  /usr/local/include/now.h: df7676789b5074f554573472e94a71e65930af47f5b37a4e4949526db20752df
  /usr/local/info/nana.info: 268c4d5f2596f02b8cde5282bf348d3b758a2ad5a11a6c87d8754c6f1d3841ea
  /usr/local/info/nana.info-1: 405f5b6a373556c6091335bc062ac9cec0d1bbc122ab539f13d6002a0eaf3746
  /usr/local/info/nana.info-2: 3846268a4010c19b4aa92510bc54fdad97a1fe8d2b8697e1795d08587ec9b8d0
  /usr/local/info/nana.info-3: cd212b7d2ccbc2dead6572747c8f0d5f8f0d675b974da520858cd401f933e61f
  /usr/local/lib/libnana.a: 75c565fc68ca42da6799eb96a385625be7079e0fcd84a8521655849d542d07e0
  /usr/local/libexec/nana-trace.gdb: b7bc2d4e1607456d840cb432d68863e0620a9b3fd6e937b47e7bd8be6aab9d69
  /usr/local/libexec/nanafilter: bb97b1e37a9f8f9f0f0bb534dd1cdc62a961c8aae91d4f2575052db1e9b3fd2a
  /usr/local/man/man1/nana-clg.1.gz: 0a8cbebf987ec64606c85119c455d8e97aae5b2a5c6a78af5320179f0c5db07b
  /usr/local/man/man1/nana.1.gz: 739eb95032f8a8cc049febaa1322f37b77b7e93fd361d02fd501e5f78c1f77aa
  /usr/local/man/man3/DI.3.gz: 4d2aeecc045d2b383c5b641ad6e4555f97390e3f8ecc58d6dba2ffabd4408a2a
  /usr/local/man/man3/DL.3.gz: 6e92c7914543c61339ad27bfd8f66473148635f4f4a6c57a719b498316dd32fd
  /usr/local/man/man3/I.3.gz: 4dcfc9362948079b0aec102bec6e4a2b2cf79086945c3869ca3148b52c6226f7
  /usr/local/man/man3/L.3.gz: 89a3c4c733866019290278e6e36e64ea085e8646d86864ea9601687d0361c36a
  /usr/local/man/man3/Q.3.gz: b9b27fee253d77e4c6a911c1d2a1d50aab122229d7a1ee7b03789125e069dea9
  /usr/local/man/man3/Qstl.3.gz: 81301d58a01d3e06426558d22f85f67276b71679f7b6a880d2daed4541aeda48
  /usr/local/man/man3/nana.3.gz: fa610e2be9ec5bc94eaea2ecaefecea99495183d0c044685022512e22c7240ec
  /usr/local/share/nana/nana-run-init.gdb: 737c1750839c43a1944433c16ef1823742a008f497a6b8bd1d561e8a0f3a52fd
  /usr/local/share/nana/nana-run.gdb: 9a42386873979ca3740da83c79613587855f16659af1c5b8e37a18f246b47373
directories:
  /usr/local/share/nana/: n
scripts:
  post-install: |
    file=/usr/local/info/nana.info
    install-info --quiet /usr/local/info/nana.info ${file%25/*}/dir
    file=/usr/local/info/nana.info-1
    install-info --quiet /usr/local/info/nana.info-1 ${file%25/*}/dir
    file=/usr/local/info/nana.info-2
    install-info --quiet /usr/local/info/nana.info-2 ${file%25/*}/dir
    file=/usr/local/info/nana.info-3
    install-info --quiet /usr/local/info/nana.info-3 ${file%25/*}/dir
  pre-deinstall: |
    if [ -f /usr/local/info/dir ]; then if sed -e '1,/Menu:/d' /usr/local/info/dir | grep -q '^[*] '; then true; else rm /usr/local/info/dir; fi; fi
  post-deinstall: |
    file=/usr/local/info/nana.info
    install-info --quiet --delete /usr/local/info/nana.info ${file%25/*}/dir
    if [ $(info -d ${file%25/*}  --output - 2>/dev/null | grep -c '^*') -eq 1 ]; then
      rm -f ${file%25/*}/dir
    fi
    file=/usr/local/info/nana.info-1
    install-info --quiet --delete /usr/local/info/nana.info-1 ${file%25/*}/dir
    if [ $(info -d ${file%25/*}  --output - 2>/dev/null | grep -c '^*') -eq 1 ]; then
      rm -f ${file%25/*}/dir
    fi
    file=/usr/local/info/nana.info-2
    install-info --quiet --delete /usr/local/info/nana.info-2 ${file%25/*}/dir
    if [ $(info -d ${file%25/*}  --output - 2>/dev/null | grep -c '^*') -eq 1 ]; then
      rm -f ${file%25/*}/dir
    fi
    file=/usr/local/info/nana.info-3
    install-info --quiet --delete /usr/local/info/nana.info-3 ${file%25/*}/dir
    if [ $(info -d ${file%25/*}  --output - 2>/dev/null | grep -c '^*') -eq 1 ]; then
      rm -f ${file%25/*}/dir
    fi
