From owner-svn-ports-all@FreeBSD.ORG Mon Jul 1 16:36:10 2013 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by hub.freebsd.org (Postfix) with ESMTP id 8FA9DEAC; Mon, 1 Jul 2013 16:36:10 +0000 (UTC) (envelope-from wg@FreeBSD.org) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) by mx1.freebsd.org (Postfix) with ESMTP id 80FEA13C1; Mon, 1 Jul 2013 16:36:10 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id r61GaAuQ075579; Mon, 1 Jul 2013 16:36:10 GMT (envelope-from wg@svn.freebsd.org) Received: (from wg@localhost) by svn.freebsd.org (8.14.7/8.14.5/Submit) id r61Ga90w075570; Mon, 1 Jul 2013 16:36:09 GMT (envelope-from wg@svn.freebsd.org) Message-Id: <201307011636.r61Ga90w075570@svn.freebsd.org> From: William Grzybowski Date: Mon, 1 Jul 2013 16:36:09 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r322131 - in head/security: . libsparkcrypto libsparkcrypto/files X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 01 Jul 2013 16:36:10 -0000 Author: wg Date: Mon Jul 1 16:36:08 2013 New Revision: 322131 URL: http://svnweb.freebsd.org/changeset/ports/322131 Log: 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. WWW: http://senier.net/libsparkcrypto/ PR: ports/180015 Submitted by: John Marino Added: head/security/libsparkcrypto/ head/security/libsparkcrypto/Makefile (contents, props changed) head/security/libsparkcrypto/distinfo (contents, props changed) head/security/libsparkcrypto/files/ head/security/libsparkcrypto/files/patch-Makefile (contents, props changed) head/security/libsparkcrypto/files/patch-build_libsparkcrypto.gpr (contents, props changed) head/security/libsparkcrypto/pkg-descr (contents, props changed) head/security/libsparkcrypto/pkg-plist (contents, props changed) Modified: head/security/Makefile Modified: head/security/Makefile ============================================================================== --- head/security/Makefile Mon Jul 1 16:29:41 2013 (r322130) +++ head/security/Makefile Mon Jul 1 16:36:08 2013 (r322131) @@ -282,6 +282,7 @@ SUBDIR += libpwstor SUBDIR += libsectok SUBDIR += libsodium + SUBDIR += libsparkcrypto SUBDIR += libssh SUBDIR += libssh2 SUBDIR += libtasn1 Added: head/security/libsparkcrypto/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/security/libsparkcrypto/Makefile Mon Jul 1 16:36:08 2013 (r322131) @@ -0,0 +1,39 @@ +# Created by: John Marino +# $FreeBSD$ + +PORTNAME= libsparkcrypto +PORTVERSION= 0.1.1 +CATEGORIES= security +MASTER_SITES= http://senier.net/libsparkcrypto/ +EXTRACT_SUFX= .tgz + +MAINTAINER= draco@marino.st +COMMENT= Cryptographic library implemented in SPARK + +LICENSE= BSD + +USES= ada +USE_GMAKE= yes +USE_DOS2UNIX= Makefile build/libsparkcrypto.gpr +SPARKARCH:= ${ARCH:S/amd64/x86_64/:S/i386/i686/} + +# The APIDOC requires AdaBrowse which in turn requires ASIS which is +# coupled with the compiler. There is a question whether Adacore's +# GPL ASIS is even compatible with FSF GNAT, which is what gcc-aux is. +# Until this question is answered, skip API document building. + +MAKE_ENV+= SPARKARCH=${SPARKARCH} \ + SPARK_DIR=${WRKSRC}/src/spark \ + DESTDIR=${LOCALBASE} \ + MODE=release \ + RUNTIME=native \ + NO_TESTS=true \ + NO_PROOF=true \ + NO_APIDOC=true + +post-patch: + # ports passed unwanted ARCH definition to Makefile + @${REINPLACE_CMD} -e 's|ARCH|SPARKARCH|g' \ + ${WRKSRC}/Makefile + +.include Added: head/security/libsparkcrypto/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/security/libsparkcrypto/distinfo Mon Jul 1 16:36:08 2013 (r322131) @@ -0,0 +1,2 @@ +SHA256 (libsparkcrypto-0.1.1.tgz) = 47582d6910b8c5bb46df51d0e76c27e6fa2b13e8ab73fb4ae0f1d9f7cbd7aa6a +SIZE (libsparkcrypto-0.1.1.tgz) = 101491 Added: head/security/libsparkcrypto/files/patch-Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/security/libsparkcrypto/files/patch-Makefile Mon Jul 1 16:36:08 2013 (r322131) @@ -0,0 +1,36 @@ +--- Makefile.orig 2013-06-26 21:03:13.000000000 +0000 ++++ Makefile +@@ -154,21 +154,22 @@ $(OUTPUT_DIR)/proof/libsparkcrypto.idx: + install: $(INSTALL_DEPS) + + install_files: build +- install -d -m 755 $(DESTDIR)/adalib $(DESTDIR)/adainclude $(DESTDIR)/sharedinclude +- install -p -m 755 $(OUTPUT_DIR)/build/adalib/libsparkcrypto.a $(DESTDIR)/adalib/libsparkcrypto.a +- install -p -m 644 build/libsparkcrypto.gpr $(DESTDIR)/libsparkcrypto.gpr +- install -p -m 644 src/shared/$(ENDIANESS)/*.ad? $(DESTDIR)/sharedinclude/ +- install -p -m 644 src/shared/generic/*.ad? $(DESTDIR)/sharedinclude/ +- install -p -m 644 src/ada/generic/*.ad? $(DESTDIR)/adainclude/ +- install -p -m 644 src/ada/$(IO)/*.ad? $(DESTDIR)/adainclude/ ++ install -d -m 755 $(DESTDIR)/lib/libsparkcrypto $(DESTDIR)/include/libsparkcrypto/adainclude ++ install -d -m 755 $(DESTDIR)/lib/gnat $(DESTDIR)/include/libsparkcrypto/sharedinclude ++ install -p -m 755 $(OUTPUT_DIR)/build/adalib/libsparkcrypto.a $(DESTDIR)/lib/libsparkcrypto/libsparkcrypto.a ++ install -p -m 644 build/libsparkcrypto.gpr $(DESTDIR)/lib/gnat/libsparkcrypto.gpr ++ install -p -m 644 src/shared/$(ENDIANESS)/*.ad? $(DESTDIR)/include/libsparkcrypto/sharedinclude/ ++ install -p -m 644 src/shared/generic/*.ad? $(DESTDIR)/include/libsparkcrypto/sharedinclude/ ++ install -p -m 644 src/ada/generic/*.ad? $(DESTDIR)/include/libsparkcrypto/adainclude/ ++ install -p -m 644 src/ada/$(IO)/*.ad? $(DESTDIR)/include/libsparkcrypto/adainclude/ + ifneq ($(strip $(ARCH_FILES)),) +- install -p -m 644 $(ARCH_FILES) $(DESTDIR)/adainclude/ ++ install -p -m 644 $(ARCH_FILES) $(DESTDIR)/include/libsparkcrypto/adainclude/ + endif +- install -p -m 444 $(OUTPUT_DIR)/build/adalib/*.ali $(DESTDIR)/adalib/ ++ install -p -m 444 $(OUTPUT_DIR)/build/adalib/*.ali $(DESTDIR)/lib/libsparkcrypto/ + + install_proof: install_files proof +- install -D -p -m 444 $(OUTPUT_DIR)/proof/libsparkcrypto.sum $(DESTDIR)/libsparkcrypto.sum +- (cd $(OUTPUT_DIR)/empty && sparkmake -include=*\.ads -dir=$(DESTDIR)/sharedinclude -nometa -index=$(DESTDIR)/libsparkcrypto.idx) ++ install -D -p -m 444 $(OUTPUT_DIR)/proof/libsparkcrypto.sum $(DESTDIR)/include/libsparkcrypto/libsparkcrypto.sum ++ (cd $(OUTPUT_DIR)/empty && sparkmake -include=*\.ads -dir=$(DESTDIR)/include/libsparkcrypto/sharedinclude -nometa -index=$(DESTDIR)/include/libsparkcrypto/libsparkcrypto.idx) + + install_local: DESTDIR = $(OUTPUT_DIR)/libsparkcrypto + install_local: install Added: head/security/libsparkcrypto/files/patch-build_libsparkcrypto.gpr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/security/libsparkcrypto/files/patch-build_libsparkcrypto.gpr Mon Jul 1 16:36:08 2013 (r322131) @@ -0,0 +1,13 @@ +--- build/libsparkcrypto.gpr.orig 2013-06-26 21:14:37.000000000 +0000 ++++ build/libsparkcrypto.gpr +@@ -1,7 +1,8 @@ + project Libsparkcrypto + is +- for Source_Dirs use ("adainclude", "sharedinclude"); +- for Library_Dir use "adalib"; ++ for Source_Dirs use ("../../include/libsparkcryto/adainclude", ++ "../../include/libsparkcrypto/sharedinclude"); ++ for Library_Dir use "../libsparkcrypto"; + for Library_Kind use "static"; + for Library_Name use "sparkcrypto"; + for Externally_Built use "true"; Added: head/security/libsparkcrypto/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/security/libsparkcrypto/pkg-descr Mon Jul 1 16:36:08 2013 (r322131) @@ -0,0 +1,12 @@ +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. + +WWW: http://senier.net/libsparkcrypto/ Added: head/security/libsparkcrypto/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/security/libsparkcrypto/pkg-plist Mon Jul 1 16:36:08 2013 (r322131) @@ -0,0 +1,88 @@ +include/libsparkcrypto/adainclude/lsc-aes-print.adb +include/libsparkcrypto/adainclude/lsc-aes-print.ads +include/libsparkcrypto/adainclude/lsc-byteswap32.adb +include/libsparkcrypto/adainclude/lsc-byteswap64.adb +include/libsparkcrypto/adainclude/lsc-debug.ads +include/libsparkcrypto/adainclude/lsc-io.adb +include/libsparkcrypto/adainclude/lsc-ripemd160-print.adb +include/libsparkcrypto/adainclude/lsc-ripemd160-print.ads +include/libsparkcrypto/adainclude/lsc-test.adb +include/libsparkcrypto/adainclude/lsc-types.adb +include/libsparkcrypto/sharedinclude/lsc-aes-cbc.adb +include/libsparkcrypto/sharedinclude/lsc-aes-cbc.ads +include/libsparkcrypto/sharedinclude/lsc-aes-print.ads +include/libsparkcrypto/sharedinclude/lsc-aes-tables.ads +include/libsparkcrypto/sharedinclude/lsc-aes.adb +include/libsparkcrypto/sharedinclude/lsc-aes.ads +include/libsparkcrypto/sharedinclude/lsc-byteorder32.adb +include/libsparkcrypto/sharedinclude/lsc-byteorder32.ads +include/libsparkcrypto/sharedinclude/lsc-byteorder64.adb +include/libsparkcrypto/sharedinclude/lsc-byteorder64.ads +include/libsparkcrypto/sharedinclude/lsc-byteswap32.adb +include/libsparkcrypto/sharedinclude/lsc-byteswap32.ads +include/libsparkcrypto/sharedinclude/lsc-byteswap64.adb +include/libsparkcrypto/sharedinclude/lsc-byteswap64.ads +include/libsparkcrypto/sharedinclude/lsc-debug.ads +include/libsparkcrypto/sharedinclude/lsc-hmac_ripemd160.adb +include/libsparkcrypto/sharedinclude/lsc-hmac_ripemd160.ads +include/libsparkcrypto/sharedinclude/lsc-hmac_sha256.adb +include/libsparkcrypto/sharedinclude/lsc-hmac_sha256.ads +include/libsparkcrypto/sharedinclude/lsc-hmac_sha384.adb +include/libsparkcrypto/sharedinclude/lsc-hmac_sha384.ads +include/libsparkcrypto/sharedinclude/lsc-hmac_sha512.adb +include/libsparkcrypto/sharedinclude/lsc-hmac_sha512.ads +include/libsparkcrypto/sharedinclude/lsc-io.ads +include/libsparkcrypto/sharedinclude/lsc-ops32.adb +include/libsparkcrypto/sharedinclude/lsc-ops32.ads +include/libsparkcrypto/sharedinclude/lsc-ops64.adb +include/libsparkcrypto/sharedinclude/lsc-ops64.ads +include/libsparkcrypto/sharedinclude/lsc-pad32.adb +include/libsparkcrypto/sharedinclude/lsc-pad32.ads +include/libsparkcrypto/sharedinclude/lsc-pad64.adb +include/libsparkcrypto/sharedinclude/lsc-pad64.ads +include/libsparkcrypto/sharedinclude/lsc-ripemd160-print.ads +include/libsparkcrypto/sharedinclude/lsc-ripemd160.adb +include/libsparkcrypto/sharedinclude/lsc-ripemd160.ads +include/libsparkcrypto/sharedinclude/lsc-sha256-tables.ads +include/libsparkcrypto/sharedinclude/lsc-sha256.adb +include/libsparkcrypto/sharedinclude/lsc-sha256.ads +include/libsparkcrypto/sharedinclude/lsc-sha512-tables.ads +include/libsparkcrypto/sharedinclude/lsc-sha512.adb +include/libsparkcrypto/sharedinclude/lsc-sha512.ads +include/libsparkcrypto/sharedinclude/lsc-test.ads +include/libsparkcrypto/sharedinclude/lsc-types.ads +include/libsparkcrypto/sharedinclude/lsc.ads +lib/gnat/libsparkcrypto.gpr +lib/libsparkcrypto/libsparkcrypto.a +lib/libsparkcrypto/lsc-aes-cbc.ali +lib/libsparkcrypto/lsc-aes-print.ali +lib/libsparkcrypto/lsc-aes-tables.ali +lib/libsparkcrypto/lsc-aes.ali +lib/libsparkcrypto/lsc-byteorder32.ali +lib/libsparkcrypto/lsc-byteorder64.ali +lib/libsparkcrypto/lsc-byteswap32.ali +lib/libsparkcrypto/lsc-byteswap64.ali +lib/libsparkcrypto/lsc-debug.ali +lib/libsparkcrypto/lsc-hmac_ripemd160.ali +lib/libsparkcrypto/lsc-hmac_sha256.ali +lib/libsparkcrypto/lsc-hmac_sha384.ali +lib/libsparkcrypto/lsc-hmac_sha512.ali +lib/libsparkcrypto/lsc-io.ali +lib/libsparkcrypto/lsc-ops32.ali +lib/libsparkcrypto/lsc-ops64.ali +lib/libsparkcrypto/lsc-pad32.ali +lib/libsparkcrypto/lsc-pad64.ali +lib/libsparkcrypto/lsc-ripemd160-print.ali +lib/libsparkcrypto/lsc-ripemd160.ali +lib/libsparkcrypto/lsc-sha256-tables.ali +lib/libsparkcrypto/lsc-sha256.ali +lib/libsparkcrypto/lsc-sha512-tables.ali +lib/libsparkcrypto/lsc-sha512.ali +lib/libsparkcrypto/lsc-test.ali +lib/libsparkcrypto/lsc-types.ali +lib/libsparkcrypto/lsc.ali +@dirrm include/libsparkcrypto/sharedinclude +@dirrm include/libsparkcrypto/adainclude +@dirrm include/libsparkcrypto +@dirrm lib/libsparkcrypto +@dirrmtry lib/gnat