Attachment 135208 Details for Bug 180015 – file.shar

file.shar

file.shar (text/plain), 10.44 KB, created by John Marino on 2013-06-27 00:40:00 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: John Marino

Created: 2013-06-27 00:40:00 UTC

Size: 10.44 KB

patch

obsolete

># 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 <draco@marino.st>
>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 <bsd.port.mk>
>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

Actions: View

Attachments on bug 180015: 135208