diff options
| author |  Robert Sloan <varomodt@Roberts-MacBook.local> | 2015-09-16 22:26:59 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@Roberts-MacBook.local> | 2015-09-16 22:26:59 -0400 |
| commit | 0d063eafadf1237db4b99debf896f61bca4aeef0 (patch) | |
| tree | 99e3a14f8a4878c6c89b7dc72628f57ef292df63 /Makefile | |
| parent | 1e67fe3272ac40e1d5b0908940f740b523db0c21 (diff) | |
redo module structure + init curve25519
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -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))) |