diff options
author | Jason Gross <jgross@mit.edu> | 2018-04-29 13:45:17 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-04-30 01:02:13 -0400 |
commit | 26a5193a11ace7de40ee2de134f29f51ba5845a6 (patch) | |
tree | 4941134acc3d5b9d82c0aa05720f449d05e25280 /Makefile | |
parent | 81fee638bf26bce5b63d110be579392e59eaf463 (diff) |
Add a coqprime-all target to build all of coqprime
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -14,7 +14,7 @@ HIDE := $(if $(VERBOSE),,@) INSTALLDEFAULTROOT := Crypto .PHONY: coq clean update-_CoqProject cleanall install \ - install-coqprime clean-coqprime coqprime \ + install-coqprime clean-coqprime coqprime coqprime-all \ specific-c specific-display display \ specific non-specific lite only-heavy printlite lite-display print-lite-display \ curves-proofs no-curves-proofs no-curves-proofs-non-specific \ @@ -209,6 +209,9 @@ export COQPATH coqprime: $(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) src/Coqprime/PrimalityTest/Zp.vo +coqprime-all: + $(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) + clean-coqprime: $(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) clean |