From f5127ba5bb5c1b932b51f9b3d43a18aa566a6d26 Mon Sep 17 00:00:00 2001
From: varomodt <varomodt@localhost.localdomain>
Date: Sat, 9 Jan 2016 13:43:53 -0500
Subject: simple refactor of makefile; comments

---
 Makefile | 30 ++++++++++++++++++------------
 1 file changed, 18 insertions(+), 12 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1940c4b2e..21c43fc28 100644
--- a/Makefile
+++ b/Makefile
@@ -1,19 +1,25 @@
-# © 2015 the Massachusetts Institute of Technology
-# @author bbaren + rsloan
+COQ_ARGS := -R fiat/src Fiat -R bedrock/Bedrock Bedrock
+MOD_NAME := Crypto
+SRC_DIR  := src
+MODULES  := Curves Galois Rep Specific Tactics Util
 
-SOURCES := $(shell grep -v '^-' _CoqProject | tr '\n' ' ')
-COQLIBS := $(shell grep '^-' _CoqProject | tr '\n' ' ')
+VS       := $(MODULES:%=src/%/*.v)
 
-include .make/cc.mk
-include .make/coq.mk
+.PHONY: coq clean install
+.DEFAULT_GOAL: coq
 
-FAST_TARGETS += check_fiat check_bedrock clean
+coq: Makefile.coq
+	$(MAKE) -f Makefile.coq
 
-.DEFAULT_GOAL = all
-.PHONY: clean coquille
+Makefile.coq: Makefile $(VS)
+	coq_makefile -R $(SRC_DIR) $(MOD_NAME) $(COQ_ARGS) $(VS) -o Makefile.coq
 
-all: check_fiat check_bedrock $(SOURCES:%=%o)
+clean: Makefile.coq
+	$(MAKE) -f Makefile.coq clean
+	rm -f Makefile.coq
 
-clean:
-	$(RM) $(foreach f,$(SOURCES),$(call coq-generated,$(basename $f)))
+install: coq
+	ln -sfL $(shell pwd)/src $(shell coqtop -where)/user-contrib/Crypto
+	ln -sfL $(shell pwd)/fiat/src $(shell coqtop -where)/user-contrib/Fiat
+	ln -sfL $(shell pwd)/bedrock/Bedrock $(shell coqtop -where)/user-contrib/Bedrock
 
-- 
cgit v1.2.3