diff options
author | Andres Erbsen <andreser@mit.edu> | 2018-02-24 10:17:35 -0500 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-02-24 15:37:16 -0500 |
commit | ef92beece3147f8af0764521e22cb7fc9a3f32a3 (patch) | |
tree | 2fe62379710ce2346ec5da62ad9203e730c55c36 /Makefile | |
parent | 238791d4dfa95b9810600643ee2ae542b41bd203 (diff) |
coqprime in COQPATH (closes #269)
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -193,11 +193,11 @@ endif OTHERFLAGS += -w "-notation-overridden" endif -COQPATH?=${CURDIR}/$(COQPRIME_FOLDER) +COQPATH?=${CURDIR}/$(COQPRIME_FOLDER)/src export COQPATH coqprime: - $(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) + $(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) src/Coqprime/PrimalityTest/Zp.vo clean-coqprime: $(MAKE) --no-print-directory -C $(COQPRIME_FOLDER) clean |