From ed1e3964b823a5227effa436a77c6fe2e4f35220 Mon Sep 17 00:00:00 2001 From: Magnus Myreen Date: Fri, 22 Nov 2024 09:42:39 +0100 Subject: [PATCH 1/3] Build the hello example when doing Holmake in root dir --- Holmakefile | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/Holmakefile b/Holmakefile index a9bbf9ab10..6f071bc9e7 100644 --- a/Holmakefile +++ b/Holmakefile @@ -1,15 +1,9 @@ -INCLUDES = developers compiler/bootstrap/compilation/x64/64/proofs compiler/bootstrap/compilation/arm8/64/proofs +INCLUDES = developers examples/compilation/x64/proofs -all: $(DEFAULT_TARGETS) README.md cake-x64-64.tar.gz +all: $(DEFAULT_TARGETS) README.md examples/compilation/x64/proofs/helloProofTheory .PHONY: all README_SOURCES = COPYING developers examples build-instructions.sh how-to.md DIRS = $(wildcard */) README.md: developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES) developers/readme_gen $(README_SOURCES) - -cake-x64-64.tar.gz: compiler/bootstrap/compilation/x64/64/cake-x64-64.tar.gz - $(CP) $< $@ - -cake-arm8-64.tar.gz: compiler/bootstrap/compilation/arm8/64/cake-arm8-64.tar.gz - $(CP) $< $@ From b586f287da2a2a53cef27faa10a2840905fb9321 Mon Sep 17 00:00:00 2001 From: Magnus Myreen Date: Fri, 22 Nov 2024 09:42:52 +0100 Subject: [PATCH 2/3] Add root dir to build-sequence --- developers/build-sequence | 1 + 1 file changed, 1 insertion(+) diff --git a/developers/build-sequence b/developers/build-sequence index 1534eaf838..4918b13833 100644 --- a/developers/build-sequence +++ b/developers/build-sequence @@ -117,6 +117,7 @@ examples/lpr_checker/array examples/lpr_checker/array/compilation examples/lpr_checker/array/compilation/proofs examples/lpr_checker/array/compilation/proofsARM8 +. examples/xlrup_checker examples/xlrup_checker/array From 078ed3da0eb224d20313d5d596aa8193f408706e Mon Sep 17 00:00:00 2001 From: Magnus Myreen Date: Fri, 22 Nov 2024 10:26:00 +0100 Subject: [PATCH 3/3] Fix Holmakefile --- Holmakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Holmakefile b/Holmakefile index 6f071bc9e7..06b3f4cc31 100644 --- a/Holmakefile +++ b/Holmakefile @@ -1,6 +1,6 @@ INCLUDES = developers examples/compilation/x64/proofs -all: $(DEFAULT_TARGETS) README.md examples/compilation/x64/proofs/helloProofTheory +all: $(DEFAULT_TARGETS) README.md examples/compilation/x64/proofs/helloProofTheory.sig .PHONY: all README_SOURCES = COPYING developers examples build-instructions.sh how-to.md