diff options
author | Jason Gross <jagro@google.com> | 2016-07-20 15:37:24 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-07-20 18:47:08 -0700 |
commit | 3b89a26a5266f33dbfdf6968557de29a471098ab (patch) | |
tree | 1ba6dae1f7253ae7949b67c5723f3b2e28366a2b /Makefile | |
parent | b65228c08b17b361dd97fa24d9677ab165b3638b (diff) |
Don't depend on the submodule; copy-paste instead
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 21 |
1 files changed, 14 insertions, 7 deletions
@@ -2,24 +2,27 @@ MOD_NAME := Crypto SRC_DIR := src STDTIME?=/usr/bin/time -f "$* (real: %e, user: %U, sys: %S, mem: %M ko)" +VERBOSE?= +SHOW := $(if $(VERBOSE),@true "",@echo "") +HIDE := $(if $(VERBOSE),,@) + .PHONY: coq clean update-_CoqProject cleanall install \ install-coqprime clean-coqprime coqprime \ specific non-specific -.DEFAULT_GOAL := coq --include Makefile.submodule +SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g' + +FAST_TARGETS += archclean clean cleanall printenv clean-old update-_CoqProject Makefile.coq +SUPER_FAST_TARGETS += update-_CoqProject Makefile.coq -STRICT_COQDEP ?= 1 +-include Makefile.coq --include etc/coq-scripts/Makefile.coq.common +.DEFAULT_GOAL := coq update-_CoqProject:: $(SHOW)'ECHO > _CoqProject' $(HIDE)(echo '-R $(SRC_DIR) $(MOD_NAME)'; echo '-R Bedrock Bedrock'; (git ls-files 'src/*.v' 'Bedrock/*.v' | $(SORT_COQPROJECT))) > _CoqProject -clean:: - rm -f submodule-update - $(VOFILES): | coqprime # add files to this list to prevent them from being built by default @@ -51,6 +54,10 @@ clean-coqprime: install-coqprime: $(MAKE) -C $(COQPRIME_FOLDER) install +Makefile.coq: Makefile _CoqProject + $(SHOW)'COQ_MAKEFILE -f _CoqProject > $@' + $(HIDE)$(COQBIN)coq_makefile -f _CoqProject | sed s'|^\(-include.*\)$$|ifneq ($$(filter-out $(FAST_TARGETS),$$(MAKECMDGOALS)),)~\1~else~ifeq ($$(MAKECMDGOALS),)~\1~endif~endif|g' | tr '~' '\n' | sed s'/^clean:$$/clean-old::/g' | sed s'/^clean::$$/clean-old::/g' | sed s'/^Makefile: /Makefile-old: /g' > $@ + cleanall:: clean clean-coqprime rm -f .dir-locals.el |