Merge pull request #1094 from CakeML/tweak-root-dir

Adjust what gets built by Holmake in root dir

Author: myreen

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.sig
 .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) $< $@

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