diff options
author | jadep <jade.philipoom@gmail.com> | 2017-11-10 12:52:49 -0500 |
---|---|---|
committer | jadep <jade.philipoom@gmail.com> | 2017-11-12 14:46:30 -0500 |
commit | 7ad53a35ed68777cd21226998a88494e1d97c63e (patch) | |
tree | 1027f15976f78bf4c8e443b9ee8a918237bfd940 /Makefile | |
parent | 5dd6d684b83d4f01fee033bc89a1edc5ec74e3fb (diff) |
update remake-curves.sh and Makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -57,7 +57,7 @@ update-_CoqProject:: $(VOFILES): | coqprime # add files to this list to prevent them from being built by default -UNMADE_VOFILES := src/Specific/X2555/C128/%.vo # x2555-c128 currently doesn't build +UNMADE_VOFILES := UNMADE_C_FILES := \ src/Specific/X25519/C64/fesub.c src/Specific/X25519/C64/feadd.c src/Specific/X25519/C64/fecarry.c \ src/Specific/X25519/C64/fesub.h src/Specific/X25519/C64/feadd.h src/Specific/X25519/C64/fecarry.h \ |