From fa3ae820b785c2d98248bf805c76acfd7cc47e17 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 13 Jan 2019 05:13:31 -0500 Subject: Move ALL_C_FILES above c-files Or else it doesn't build anything at all --- Makefile | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 0da189c41..bcec7c193 100644 --- a/Makefile +++ b/Makefile @@ -84,6 +84,13 @@ ifneq ($(filter pre-standalone,$(MAKECMDGOALS)),) PRE_STANDALONE_VOFILES := $(call vo_closure,$(PRE_STANDALONE_PRE_VOFILES)) endif +UNSATURATED_SOLINAS_C_FILES := curve25519_64.c curve25519_32.c p521_64.c p521_32.c # p224_solinas_64.c +WORD_BY_WORD_MONTGOMERY_C_FILES := p256_64.c p256_32.c p384_64.c p384_32.c secp256k1_64.c secp256k1_32.c p224_64.c p224_32.c +ALL_C_FILES := $(UNSATURATED_SOLINAS_C_FILES) $(WORD_BY_WORD_MONTGOMERY_C_FILES) +FUNCTIONS_FOR_25519 := carry_mul carry_square carry_scmul121666 carry add sub opp selectznz to_bytes from_bytes +UNSATURATED_SOLINAS := src/ExtractionOCaml/unsaturated_solinas +WORD_BY_WORD_MONTGOMERY := src/ExtractionOCaml/word_by_word_montgomery + all: coq c-files coq: $(REGULAR_VOFILES) @@ -184,13 +191,6 @@ standalone: standalone-haskell standalone-ocaml standalone-haskell: $(STANDALONE:%=src/ExtractionHaskell/%) standalone-ocaml: $(STANDALONE:%=src/ExtractionOCaml/%) -UNSATURATED_SOLINAS_C_FILES := curve25519_64.c curve25519_32.c p521_64.c p521_32.c # p224_solinas_64.c -WORD_BY_WORD_MONTGOMERY_C_FILES := p256_64.c p256_32.c p384_64.c p384_32.c secp256k1_64.c secp256k1_32.c p224_64.c p224_32.c -ALL_C_FILES := $(UNSATURATED_SOLINAS_C_FILES) $(WORD_BY_WORD_MONTGOMERY_C_FILES) -FUNCTIONS_FOR_25519 := carry_mul carry_square carry_scmul121666 carry add sub opp selectznz to_bytes from_bytes -UNSATURATED_SOLINAS := src/ExtractionOCaml/unsaturated_solinas -WORD_BY_WORD_MONTGOMERY := src/ExtractionOCaml/word_by_word_montgomery - $(UNSATURATED_SOLINAS_C_FILES): $(UNSATURATED_SOLINAS) # Makefile $(WORD_BY_WORD_MONTGOMERY_C_FILES): $(WORD_BY_WORD_MONTGOMERY) # Makefile -- cgit v1.2.3