notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
non port: security/libsparkcrypto/pkg-plist

Number of commits found: 4

Thu, 16 Oct 2014
[ 10:56 marino search for other commits by this committer ] Original commit   Revision:370998
Remove @dirrm from package list of 8 of my ports
Thu, 13 Mar 2014
[ 22:28 marino search for other commits by this committer ] Original commit   Revision:348134
security/libsparkcrypto: Fix plist extra for DOCS=no option
Sun, 21 Jul 2013
[ 14:31 marino search for other commits by this committer ] Original commit   Revision:323394
security/libsparkcrypto: Optionally generate documentation

It was not possible to generate libsparkcrypto documentation before the
textproc/adabrowse port was created.  Now that AdaBrowse is available,
add a "DOCS" options to generate the documentation.

While here, convert USE_GMAKE to USES+=gmake and fix DESTDIR to work
properly instead of installing during the build phase.  The Makefile
also had to altered to install the documentation as well.

Approved by:	bapt (mentor)
Mon, 1 Jul 2013
[ 16:36 wg search for other commits by this committer ] Original commit   Revision:322131
security/libsparkcrypto: Cryptographic library implemented in SPARK

libsparkcrypto is a formally verified implementation of several widely used
symmetric cryptographic algorithms using the SPARK programming language and
toolset. For the complete library proofs of the absence of run-time errors
like type range violations, division by zero and numerical overflows are
available. Some of its subprograms include proofs of partial correctness.

The distribution contains test cases for all implemented algorithms and a
benchmark to compare its performance with the OpenSSL library. The achieved
speed has been found to be very close to the optimized C and Assembler
implementations of OpenSSL.


PR:		ports/180015
Submitted by:	John Marino <>

Number of commits found: 4