From 3e0c054948a0b1fc015ad7e23bd8abd023d8e3ed Mon Sep 17 00:00:00 2001 From: Rob Sloan Date: Thu, 28 Jan 2016 13:35:03 -0500 Subject: recursive-build coqprime --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index d5305641e..202ad741a 100644 --- a/Makefile +++ b/Makefile @@ -5,10 +5,13 @@ MODULES := Curves Galois Rep Specific Tactics Util VS := $(MODULES:%=src/%/*.v) -.PHONY: coq clean install +.PHONY: coq clean install coqprime .DEFAULT_GOAL: coq -coq: Makefile.coq +coqprime: + $(MAKE) -C coqprime + +coq: Makefile.coq coqprime $(MAKE) -f Makefile.coq Makefile.coq: Makefile $(VS) -- cgit v1.2.3