diff options
author | Jason Gross <jgross@mit.edu> | 2019-01-13 05:13:31 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2019-01-13 05:13:31 -0500 |
commit | fa3ae820b785c2d98248bf805c76acfd7cc47e17 (patch) | |
tree | ab7f45515dd5e0dd0bb99bcfe475e50151fa2472 /Makefile | |
parent | 2a9c2f617b105aca033abba046f262fc535e666a (diff) |
Move ALL_C_FILES above c-files
Or else it doesn't build anything at all
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -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 |