From 0d063eafadf1237db4b99debf896f61bca4aeef0 Mon Sep 17 00:00:00 2001
From: Robert Sloan <varomodt@Roberts-MacBook.local>
Date: Wed, 16 Sep 2015 22:26:59 -0400
Subject: redo module structure + init curve25519

---
 Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 42fb6aa7c..7a7714ebc 100644
--- a/Makefile
+++ b/Makefile
@@ -10,13 +10,13 @@ include .make/coq.mk
 FAST_TARGETS += check_fiat clean
 
 .DEFAULT_GOAL = all
-.PHONY: all clean coquille
+.PHONY: all deps objects clean coquille
 
-all: $(SOURCES)
-	@echo "done!"
+all: objects
 
-coquille:
-	vim -c "execute coquille#Launch($(COQLIBS))" .
+deps: $(SOURCES:%=%.d) 
+
+objects: deps $(SOURCES:%=%o)
 
 clean:
 	$(RM) $(foreach f,$(SOURCES),$(call coq-generated,$(basename $f)))
-- 
cgit v1.2.3