diff options
Diffstat (limited to 'security/libsparkcrypto/files')
4 files changed, 0 insertions, 131 deletions
diff --git a/security/libsparkcrypto/files/patch-Makefile b/security/libsparkcrypto/files/patch-Makefile deleted file mode 100644 index 46a53a5fb4c6..000000000000 --- a/security/libsparkcrypto/files/patch-Makefile +++ /dev/null @@ -1,88 +0,0 @@ ---- Makefile.orig 2013-07-20 13:54:32.000000000 +0000 -+++ Makefile -@@ -5,7 +5,6 @@ UNAME_M := $(shell uname -m) - ARCH ?= $(UNAME_M) - RUNTIME ?= native - TESTS ?= test_aes test_hmac test_ripemd160 test_sha2 test_shadow benchmark --DESTDIR ?= /usr/local - TARGET_CFG ?= $(OUTPUT_DIR)/target.cfg - - VERSION ?= 0.1.1 -@@ -33,7 +32,7 @@ SHARED_DIRS = src/shared/$(ENDIANESS) sr - ARCH_FILES = $(wildcard src/ada/$(ARCH)/*.ad?) - ADT_FILES = $(addprefix $(OUTPUT_DIR)/tree/,$(notdir $(patsubst %.ads,%.adt,$(wildcard src/shared/generic/*.ads)))) - --ALL_GOALS = install_local -+ALL_GOALS = - INSTALL_DEPS = install_files - - # SPARK_DIR must be set -@@ -78,6 +77,7 @@ endif - # Feature: NO_APIDOC - ifeq ($(NO_APIDOC),) - ALL_GOALS += apidoc -+INSTALL_DEPS += install_docs - endif - - ############################################################################### -@@ -119,9 +119,12 @@ proof: $(OUTPUT_DIR)/proof/libsparkcrypt - apidoc: $(ADT_FILES) - echo $^ | xargs -n1 > $(OUTPUT_DIR)/tree.lst - adabrowse -T $(OUTPUT_DIR)/tree -f @$(OUTPUT_DIR)/tree.lst -w1 -c doc/adabrowse.conf -o $(OUTPUT_DIR)/doc/ -- install -m 644 doc/libsparkcrypto.css $(OUTPUT_DIR)/doc/libsparkcrypto.css -- install -m 644 doc/apidoc.css $(OUTPUT_DIR)/doc/apidoc.css -- install -m 644 doc/lsc_logo.png $(OUTPUT_DIR)/doc/lsc_logo.png -+ -+install_docs: -+ install -d -m 755 $(DESTDIR)$(PREFIX)/share/doc/libsparkcrypto -+ install -m 644 doc/libsparkcrypto.css doc/apidoc.css \ -+ doc/lsc_logo.png $(DESTDIR)$(PREFIX)/share/doc/libsparkcrypto -+ install -m 644 $(OUTPUT_DIR)/doc/* $(DESTDIR)$(PREFIX)/share/doc/libsparkcrypto/ - - archive: $(OUTPUT_DIR)/doc/libsparkcrypto-$(VERSION).tgz - -@@ -154,21 +157,33 @@ $(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)$(PREFIX)/lib/libsparkcrypto \ -+ $(DESTDIR)$(PREFIX)/include/libsparkcrypto/adainclude \ -+ $(DESTDIR)$(PREFIX)/lib/gnat \ -+ $(DESTDIR)$(PREFIX)/include/libsparkcrypto/sharedinclude -+ install -p -m 755 $(OUTPUT_DIR)/build/adalib/libsparkcrypto.a \ -+ $(DESTDIR)$(PREFIX)/lib/libsparkcrypto -+ install -p -m 644 build/libsparkcrypto.gpr \ -+ $(DESTDIR)$(PREFIX)/lib/gnat -+ install -p -m 644 src/shared/$(ENDIANESS)/*.ad? \ -+ $(DESTDIR)$(PREFIX)/include/libsparkcrypto/sharedinclude/ -+ install -p -m 644 src/shared/generic/*.ad? \ -+ $(DESTDIR)$(PREFIX)/include/libsparkcrypto/sharedinclude/ -+ install -p -m 644 src/ada/generic/*.ad? \ -+ $(DESTDIR)$(PREFIX)/include/libsparkcrypto/adainclude/ -+ install -p -m 644 src/ada/$(IO)/*.ad? \ -+ $(DESTDIR)$(PREFIX)/include/libsparkcrypto/adainclude/ - ifneq ($(strip $(ARCH_FILES)),) -- install -p -m 644 $(ARCH_FILES) $(DESTDIR)/adainclude/ -+ install -p -m 644 $(ARCH_FILES) \ -+ $(DESTDIR)$(PREFIX)/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)$(PREFIX)/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)$(PREFIX)/include/libsparkcrypto -+ (cd $(OUTPUT_DIR)/empty && sparkmake -include=*\.ads -dir=$(DESTDIR)$(PREFIX)/include/libsparkcrypto/sharedinclude -nometa -index=$(DESTDIR)$(PREFIX)/include/libsparkcrypto/libsparkcrypto.idx) - - install_local: DESTDIR = $(OUTPUT_DIR)/libsparkcrypto - install_local: install diff --git a/security/libsparkcrypto/files/patch-build_libsparkcrypto.gpr b/security/libsparkcrypto/files/patch-build_libsparkcrypto.gpr deleted file mode 100644 index 2483214ff5c5..000000000000 --- a/security/libsparkcrypto/files/patch-build_libsparkcrypto.gpr +++ /dev/null @@ -1,13 +0,0 @@ ---- 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"; diff --git a/security/libsparkcrypto/files/patch-src_shared_generic_lsc-byteswap64.ads b/security/libsparkcrypto/files/patch-src_shared_generic_lsc-byteswap64.ads deleted file mode 100644 index 4a33dd64ac57..000000000000 --- a/security/libsparkcrypto/files/patch-src_shared_generic_lsc-byteswap64.ads +++ /dev/null @@ -1,9 +0,0 @@ ---- src/shared/generic/lsc-byteswap64.ads.orig 2015-07-05 09:06:26 UTC -+++ src/shared/generic/lsc-byteswap64.ads -@@ -44,6 +44,5 @@ package LSC.Byteswap64 is - - -- Byte-swap @Value@ - function Swap (Value : Types.Word64) return Types.Word64; -- pragma Inline (Swap); - - end LSC.Byteswap64; diff --git a/security/libsparkcrypto/files/patch-src_shared_generic_lsc-types.ads b/security/libsparkcrypto/files/patch-src_shared_generic_lsc-types.ads deleted file mode 100644 index 5613ca8a4d48..000000000000 --- a/security/libsparkcrypto/files/patch-src_shared_generic_lsc-types.ads +++ /dev/null @@ -1,21 +0,0 @@ ---- src/shared/generic/lsc-types.ads.orig 2015-03-16 17:16:28 UTC -+++ src/shared/generic/lsc-types.ads -@@ -102,18 +102,14 @@ package LSC.Types is - - -- Convert 32-bit word to 32-bit byte array - function Word32_To_Byte_Array32 (Value : Word32) return Byte_Array32_Type; -- pragma Inline (Word32_To_Byte_Array32); - - -- Convert 32-bit byte array to 32-bit word - function Byte_Array32_To_Word32 (Value : Byte_Array32_Type) return Word32; -- pragma Inline (Byte_Array32_To_Word32); - - -- Convert 64-bit word to 64-bit byte array - function Word64_To_Byte_Array64 (Value : Word64) return Byte_Array64_Type; -- pragma Inline (Word64_To_Byte_Array64); - - -- Convert 64-bit byte array to 64-bit word - function Byte_Array64_To_Word64 (Value : Byte_Array64_Type) return Word64; -- pragma Inline (Byte_Array64_To_Word64); - - end LSC.Types; |