Fix compiler/parsing/Holmakefile to make parsingComputeLib build

Michael Norrish · Michael Norrish · commit aced251f056e · 2020-09-18T18:05:26.000+10:00
This is a tiny bit of progress towards resolving issue #575
diff --git a/compiler/parsing/Holmakefile b/compiler/parsing/Holmakefile
@@ -1,5 +1,6 @@
 INCLUDES = $(HOLDIR)/examples/formal-languages/context-free\
-					 $(CAKEMLDIR)/misc $(CAKEMLDIR)/semantics
+           $(CAKEMLDIR)/misc $(CAKEMLDIR)/semantics \
+	   $(CAKEMLDIR)/semantics/proofs
 
 all: $(DEFAULT_TARGETS) README.md
 .PHONY: all
