diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-09 13:48:32 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-09 13:48:32 -0400 |
| commit | a7ec38361490b06771666427f7cb0fb19efb8c07 (patch) | |
| tree | 39c8fa17b2465040d6daad1485f139a622f421bd /Makefile | |
| parent | 77834ca6ca1be3e707bb4951cc5cc782718c81f8 (diff) | |
Remove Karatsuba from the lite target
It was pretty slow.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -50,7 +50,7 @@ $(VOFILES): | coqprime UNMADE_VOFILES := src/SpecificGen/% src/Specific/%Display.vo # add files to this list to prevent them from being built as final # targets by the "lite" target -LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo +LITE_UNMADE_VOFILES := src/Curves/Weierstrass/AffineProofs.vo src/Specific/Karatsuba.vo COQ_VOFILES := $(filter-out $(UNMADE_VOFILES),$(VOFILES)) SPECIFIC_VO := $(filter src/Specific/%,$(VOFILES)) |