From owner-freebsd-ports-bugs@FreeBSD.ORG Wed Jun 26 23:40:00 2013 Return-Path: Delivered-To: freebsd-ports-bugs@smarthost.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) by hub.freebsd.org (Postfix) with ESMTP id B628BD81 for ; Wed, 26 Jun 2013 23:40:00 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [IPv6:2001:1900:2254:206c::16:87]) by mx1.freebsd.org (Postfix) with ESMTP id 9A62C16ED for ; Wed, 26 Jun 2013 23:40:00 +0000 (UTC) Received: from freefall.freebsd.org (localhost [127.0.0.1]) by freefall.freebsd.org (8.14.7/8.14.7) with ESMTP id r5QNe0T5047812 for ; Wed, 26 Jun 2013 23:40:00 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.7/8.14.7/Submit) id r5QNe0Ho047811; Wed, 26 Jun 2013 23:40:00 GMT (envelope-from gnats) Resent-Date: Wed, 26 Jun 2013 23:40:00 GMT Resent-Message-Id: <201306262340.r5QNe0Ho047811@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, John Marino Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by hub.freebsd.org (Postfix) with ESMTP id 84BE8844 for ; Wed, 26 Jun 2013 23:31:37 +0000 (UTC) (envelope-from nobody@FreeBSD.org) Received: from oldred.freebsd.org (oldred.freebsd.org [8.8.178.121]) by mx1.freebsd.org (Postfix) with ESMTP id 7666A16A1 for ; Wed, 26 Jun 2013 23:31:37 +0000 (UTC) Received: from oldred.freebsd.org ([127.0.1.6]) by oldred.freebsd.org (8.14.5/8.14.7) with ESMTP id r5QNVadI008535 for ; Wed, 26 Jun 2013 23:31:36 GMT (envelope-from nobody@oldred.freebsd.org) Received: (from nobody@localhost) by oldred.freebsd.org (8.14.5/8.14.5/Submit) id r5QNVaY5008534; Wed, 26 Jun 2013 23:31:36 GMT (envelope-from nobody) Message-Id: <201306262331.r5QNVaY5008534@oldred.freebsd.org> Date: Wed, 26 Jun 2013 23:31:36 GMT From: John Marino To: freebsd-gnats-submit@FreeBSD.org X-Send-Pr-Version: www-3.1 Subject: ports/180015: [NEW PORT] Add security/libsparkcrypto port X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 26 Jun 2013 23:40:00 -0000 >Number: 180015 >Category: ports >Synopsis: [NEW PORT] Add security/libsparkcrypto port >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Wed Jun 26 23:40:00 UTC 2013 >Closed-Date: >Last-Modified: >Originator: John Marino >Release: >Organization: >Environment: >Description: 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. This port passes redports 8.4-amd64, 8.4-i386, 9.1-amd64 and 9.1-i386 It also passes pkg DEVELOPER_MODE=1. >How-To-Repeat: >Fix: Patch attached with submission follows: # This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # libsparkcrypto # libsparkcrypto/pkg-plist # libsparkcrypto/Makefile # libsparkcrypto/distinfo # libsparkcrypto/pkg-descr # libsparkcrypto/files # libsparkcrypto/files/patch-Makefile # libsparkcrypto/files/patch-build_libsparkcrypto.gpr # echo c - libsparkcrypto mkdir -p libsparkcrypto > /dev/null 2>&1 echo x - libsparkcrypto/pkg-plist sed 's/^X//' >libsparkcrypto/pkg-plist << 'END-of-libsparkcrypto/pkg-plist' Xinclude/libsparkcrypto/adainclude/lsc-aes-print.adb Xinclude/libsparkcrypto/adainclude/lsc-aes-print.ads Xinclude/libsparkcrypto/adainclude/lsc-byteswap32.adb Xinclude/libsparkcrypto/adainclude/lsc-byteswap64.adb Xinclude/libsparkcrypto/adainclude/lsc-debug.ads Xinclude/libsparkcrypto/adainclude/lsc-io.adb Xinclude/libsparkcrypto/adainclude/lsc-ripemd160-print.adb Xinclude/libsparkcrypto/adainclude/lsc-ripemd160-print.ads Xinclude/libsparkcrypto/adainclude/lsc-test.adb Xinclude/libsparkcrypto/adainclude/lsc-types.adb Xinclude/libsparkcrypto/sharedinclude/lsc-aes-cbc.adb Xinclude/libsparkcrypto/sharedinclude/lsc-aes-cbc.ads Xinclude/libsparkcrypto/sharedinclude/lsc-aes-print.ads Xinclude/libsparkcrypto/sharedinclude/lsc-aes-tables.ads Xinclude/libsparkcrypto/sharedinclude/lsc-aes.adb Xinclude/libsparkcrypto/sharedinclude/lsc-aes.ads Xinclude/libsparkcrypto/sharedinclude/lsc-byteorder32.adb Xinclude/libsparkcrypto/sharedinclude/lsc-byteorder32.ads Xinclude/libsparkcrypto/sharedinclude/lsc-byteorder64.adb Xinclude/libsparkcrypto/sharedinclude/lsc-byteorder64.ads Xinclude/libsparkcrypto/sharedinclude/lsc-byteswap32.adb Xinclude/libsparkcrypto/sharedinclude/lsc-byteswap32.ads Xinclude/libsparkcrypto/sharedinclude/lsc-byteswap64.adb Xinclude/libsparkcrypto/sharedinclude/lsc-byteswap64.ads Xinclude/libsparkcrypto/sharedinclude/lsc-debug.ads Xinclude/libsparkcrypto/sharedinclude/lsc-hmac_ripemd160.adb Xinclude/libsparkcrypto/sharedinclude/lsc-hmac_ripemd160.ads Xinclude/libsparkcrypto/sharedinclude/lsc-hmac_sha256.adb Xinclude/libsparkcrypto/sharedinclude/lsc-hmac_sha256.ads Xinclude/libsparkcrypto/sharedinclude/lsc-hmac_sha384.adb Xinclude/libsparkcrypto/sharedinclude/lsc-hmac_sha384.ads Xinclude/libsparkcrypto/sharedinclude/lsc-hmac_sha512.adb Xinclude/libsparkcrypto/sharedinclude/lsc-hmac_sha512.ads Xinclude/libsparkcrypto/sharedinclude/lsc-io.ads Xinclude/libsparkcrypto/sharedinclude/lsc-ops32.adb Xinclude/libsparkcrypto/sharedinclude/lsc-ops32.ads Xinclude/libsparkcrypto/sharedinclude/lsc-ops64.adb Xinclude/libsparkcrypto/sharedinclude/lsc-ops64.ads Xinclude/libsparkcrypto/sharedinclude/lsc-pad32.adb Xinclude/libsparkcrypto/sharedinclude/lsc-pad32.ads Xinclude/libsparkcrypto/sharedinclude/lsc-pad64.adb Xinclude/libsparkcrypto/sharedinclude/lsc-pad64.ads Xinclude/libsparkcrypto/sharedinclude/lsc-ripemd160-print.ads Xinclude/libsparkcrypto/sharedinclude/lsc-ripemd160.adb Xinclude/libsparkcrypto/sharedinclude/lsc-ripemd160.ads Xinclude/libsparkcrypto/sharedinclude/lsc-sha256-tables.ads Xinclude/libsparkcrypto/sharedinclude/lsc-sha256.adb Xinclude/libsparkcrypto/sharedinclude/lsc-sha256.ads Xinclude/libsparkcrypto/sharedinclude/lsc-sha512-tables.ads Xinclude/libsparkcrypto/sharedinclude/lsc-sha512.adb Xinclude/libsparkcrypto/sharedinclude/lsc-sha512.ads Xinclude/libsparkcrypto/sharedinclude/lsc-test.ads Xinclude/libsparkcrypto/sharedinclude/lsc-types.ads Xinclude/libsparkcrypto/sharedinclude/lsc.ads Xlib/gnat/libsparkcrypto.gpr Xlib/libsparkcrypto/libsparkcrypto.a Xlib/libsparkcrypto/lsc-aes-cbc.ali Xlib/libsparkcrypto/lsc-aes-print.ali Xlib/libsparkcrypto/lsc-aes-tables.ali Xlib/libsparkcrypto/lsc-aes.ali Xlib/libsparkcrypto/lsc-byteorder32.ali Xlib/libsparkcrypto/lsc-byteorder64.ali Xlib/libsparkcrypto/lsc-byteswap32.ali Xlib/libsparkcrypto/lsc-byteswap64.ali Xlib/libsparkcrypto/lsc-debug.ali Xlib/libsparkcrypto/lsc-hmac_ripemd160.ali Xlib/libsparkcrypto/lsc-hmac_sha256.ali Xlib/libsparkcrypto/lsc-hmac_sha384.ali Xlib/libsparkcrypto/lsc-hmac_sha512.ali Xlib/libsparkcrypto/lsc-io.ali Xlib/libsparkcrypto/lsc-ops32.ali Xlib/libsparkcrypto/lsc-ops64.ali Xlib/libsparkcrypto/lsc-pad32.ali Xlib/libsparkcrypto/lsc-pad64.ali Xlib/libsparkcrypto/lsc-ripemd160-print.ali Xlib/libsparkcrypto/lsc-ripemd160.ali Xlib/libsparkcrypto/lsc-sha256-tables.ali Xlib/libsparkcrypto/lsc-sha256.ali Xlib/libsparkcrypto/lsc-sha512-tables.ali Xlib/libsparkcrypto/lsc-sha512.ali Xlib/libsparkcrypto/lsc-test.ali Xlib/libsparkcrypto/lsc-types.ali Xlib/libsparkcrypto/lsc.ali X@dirrm include/libsparkcrypto/sharedinclude X@dirrm include/libsparkcrypto/adainclude X@dirrm include/libsparkcrypto X@dirrm lib/libsparkcrypto X@dirrmtry lib/gnat END-of-libsparkcrypto/pkg-plist echo x - libsparkcrypto/Makefile sed 's/^X//' >libsparkcrypto/Makefile << 'END-of-libsparkcrypto/Makefile' X# Created by: John Marino X# $FreeBSD$ X XPORTNAME= libsparkcrypto XPORTVERSION= 0.1.1 XCATEGORIES= security XMASTER_SITES= http://senier.net/libsparkcrypto/ XEXTRACT_SUFX= .tgz X XMAINTAINER= draco@marino.st XCOMMENT= Cryptographic library implemented in SPARK X XLICENSE= BSD X XUSES= ada XUSE_GMAKE= yes XUSE_DOS2UNIX= Makefile build/libsparkcrypto.gpr XSPARKARCH:= ${ARCH:S/amd64/x86_64/:S/i386/i686/} X X# The APIDOC requires AdaBrowse which in turn requires ASIS which is X# coupled with the compiler. There is a question whether Adacore's X# GPL ASIS is even compatible with FSF GNAT, which is what gcc-aux is. X# Until this question is answered, skip API document building. X XMAKE_ENV+= SPARKARCH=${SPARKARCH} \ X SPARK_DIR=${WRKSRC}/src/spark \ X DESTDIR=${LOCALBASE} \ X MODE=release \ X RUNTIME=native \ X NO_TESTS=true \ X NO_PROOF=true \ X NO_APIDOC=true X Xpost-patch: X # ports passed unwanted ARCH definition to Makefile X @${REINPLACE_CMD} -e 's|ARCH|SPARKARCH|g' \ X ${WRKSRC}/Makefile X X.include END-of-libsparkcrypto/Makefile echo x - libsparkcrypto/distinfo sed 's/^X//' >libsparkcrypto/distinfo << 'END-of-libsparkcrypto/distinfo' XSHA256 (libsparkcrypto-0.1.1.tgz) = 47582d6910b8c5bb46df51d0e76c27e6fa2b13e8ab73fb4ae0f1d9f7cbd7aa6a XSIZE (libsparkcrypto-0.1.1.tgz) = 101491 END-of-libsparkcrypto/distinfo echo x - libsparkcrypto/pkg-descr sed 's/^X//' >libsparkcrypto/pkg-descr << 'END-of-libsparkcrypto/pkg-descr' Xlibsparkcrypto is a formally verified implementation of several widely used Xsymmetric cryptographic algorithms using the SPARK programming language and Xtoolset. For the complete library proofs of the absence of run-time errors Xlike type range violations, division by zero and numerical overflows are Xavailable. Some of its subprograms include proofs of partial correctness. X XThe distribution contains test cases for all implemented algorithms and a Xbenchmark to compare its performance with the OpenSSL library. The achieved Xspeed has been found to be very close to the optimized C and Assembler Ximplementations of OpenSSL. X XWWW: http://senier.net/libsparkcrypto/ END-of-libsparkcrypto/pkg-descr echo c - libsparkcrypto/files mkdir -p libsparkcrypto/files > /dev/null 2>&1 echo x - libsparkcrypto/files/patch-Makefile sed 's/^X//' >libsparkcrypto/files/patch-Makefile << 'END-of-libsparkcrypto/files/patch-Makefile' X--- Makefile.orig 2013-06-26 21:03:13.000000000 +0000 X+++ Makefile X@@ -154,21 +154,22 @@ $(OUTPUT_DIR)/proof/libsparkcrypto.idx: X install: $(INSTALL_DEPS) X X install_files: build X- install -d -m 755 $(DESTDIR)/adalib $(DESTDIR)/adainclude $(DESTDIR)/sharedinclude X- install -p -m 755 $(OUTPUT_DIR)/build/adalib/libsparkcrypto.a $(DESTDIR)/adalib/libsparkcrypto.a X- install -p -m 644 build/libsparkcrypto.gpr $(DESTDIR)/libsparkcrypto.gpr X- install -p -m 644 src/shared/$(ENDIANESS)/*.ad? $(DESTDIR)/sharedinclude/ X- install -p -m 644 src/shared/generic/*.ad? $(DESTDIR)/sharedinclude/ X- install -p -m 644 src/ada/generic/*.ad? $(DESTDIR)/adainclude/ X- install -p -m 644 src/ada/$(IO)/*.ad? $(DESTDIR)/adainclude/ X+ install -d -m 755 $(DESTDIR)/lib/libsparkcrypto $(DESTDIR)/include/libsparkcrypto/adainclude X+ install -d -m 755 $(DESTDIR)/lib/gnat $(DESTDIR)/include/libsparkcrypto/sharedinclude X+ install -p -m 755 $(OUTPUT_DIR)/build/adalib/libsparkcrypto.a $(DESTDIR)/lib/libsparkcrypto/libsparkcrypto.a X+ install -p -m 644 build/libsparkcrypto.gpr $(DESTDIR)/lib/gnat/libsparkcrypto.gpr X+ install -p -m 644 src/shared/$(ENDIANESS)/*.ad? $(DESTDIR)/include/libsparkcrypto/sharedinclude/ X+ install -p -m 644 src/shared/generic/*.ad? $(DESTDIR)/include/libsparkcrypto/sharedinclude/ X+ install -p -m 644 src/ada/generic/*.ad? $(DESTDIR)/include/libsparkcrypto/adainclude/ X+ install -p -m 644 src/ada/$(IO)/*.ad? $(DESTDIR)/include/libsparkcrypto/adainclude/ X ifneq ($(strip $(ARCH_FILES)),) X- install -p -m 644 $(ARCH_FILES) $(DESTDIR)/adainclude/ X+ install -p -m 644 $(ARCH_FILES) $(DESTDIR)/include/libsparkcrypto/adainclude/ X endif X- install -p -m 444 $(OUTPUT_DIR)/build/adalib/*.ali $(DESTDIR)/adalib/ X+ install -p -m 444 $(OUTPUT_DIR)/build/adalib/*.ali $(DESTDIR)/lib/libsparkcrypto/ X X install_proof: install_files proof X- install -D -p -m 444 $(OUTPUT_DIR)/proof/libsparkcrypto.sum $(DESTDIR)/libsparkcrypto.sum X- (cd $(OUTPUT_DIR)/empty && sparkmake -include=*\.ads -dir=$(DESTDIR)/sharedinclude -nometa -index=$(DESTDIR)/libsparkcrypto.idx) X+ install -D -p -m 444 $(OUTPUT_DIR)/proof/libsparkcrypto.sum $(DESTDIR)/include/libsparkcrypto/libsparkcrypto.sum X+ (cd $(OUTPUT_DIR)/empty && sparkmake -include=*\.ads -dir=$(DESTDIR)/include/libsparkcrypto/sharedinclude -nometa -index=$(DESTDIR)/include/libsparkcrypto/libsparkcrypto.idx) X X install_local: DESTDIR = $(OUTPUT_DIR)/libsparkcrypto X install_local: install END-of-libsparkcrypto/files/patch-Makefile echo x - libsparkcrypto/files/patch-build_libsparkcrypto.gpr sed 's/^X//' >libsparkcrypto/files/patch-build_libsparkcrypto.gpr << 'END-of-libsparkcrypto/files/patch-build_libsparkcrypto.gpr' X--- build/libsparkcrypto.gpr.orig 2013-06-26 21:14:37.000000000 +0000 X+++ build/libsparkcrypto.gpr X@@ -1,7 +1,8 @@ X project Libsparkcrypto X is X- for Source_Dirs use ("adainclude", "sharedinclude"); X- for Library_Dir use "adalib"; X+ for Source_Dirs use ("../../include/libsparkcryto/adainclude", X+ "../../include/libsparkcrypto/sharedinclude"); X+ for Library_Dir use "../libsparkcrypto"; X for Library_Kind use "static"; X for Library_Name use "sparkcrypto"; X for Externally_Built use "true"; END-of-libsparkcrypto/files/patch-build_libsparkcrypto.gpr exit >Release-Note: >Audit-Trail: >Unformatted: