From 2075621e42034e806eff89b095de8d66025f2f05 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 7 Mar 2024 00:32:07 -0800 Subject: [PATCH 1/2] Add `install-all`, `install-spec` targets `make install` now installs only the spec, to match the default `make` target --- Makefile | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index ada2fe9..23333a5 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ default_target: spec -.PHONY: clean install force spec all convert convert_loc_counts +.PHONY: clean install install-all install-spec force spec all convert convert_loc_counts # absolute paths so that emacs compile mode knows where to find error # use cygpath -m because Coq on Windows cannot handle cygwin paths @@ -64,9 +64,13 @@ clean:: Makefile.coq.all find . -type f \( -name '*~' -o -name '*.aux' -o -name '.lia.cache' -o -name '.nia.cache' \) -delete rm -f Makefile.coq.all Makefile.coq.all.conf Makefile.coq.spec Makefile.coq.spec.conf _CoqProject -install:: Makefile.coq.all +install-all:: Makefile.coq.all $(MAKE) -f Makefile.coq.all install +install-spec:: Makefile.coq.spec + $(MAKE) -f Makefile.coq.spec install + +install:: install-spec # converting from Haskell using hs-to-coq: From 2e034d3764cdfeb76da2b4be2775e20842270d7a Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 7 Mar 2024 00:43:03 -0800 Subject: [PATCH 2/2] `install` now does `install-all` so as to keep bedrock2 working --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 23333a5..2896179 100644 --- a/Makefile +++ b/Makefile @@ -70,7 +70,7 @@ install-all:: Makefile.coq.all install-spec:: Makefile.coq.spec $(MAKE) -f Makefile.coq.spec install -install:: install-spec +install:: install-all # converting from Haskell using hs-to-coq: