Use relative paths in Holmakefile

CakeML · Nov 7, 2022 · cc756be · cc756be
1 parent f1fb7ed
commit cc756be
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/translator/Holmakefile b/translator/Holmakefile
@@ -1,11 +1,9 @@
-INCLUDES = $(CAKEMLDIR)/developers $(CAKEMLDIR)/misc\
-					 $(CAKEMLDIR)/semantics $(CAKEMLDIR)/semantics/proofs\
-					 $(CAKEMLDIR)/basis/pure
+INCLUDES = ../developers ../misc ../semantics ../semantics/proofs ../basis/pure
 
 all: $(DEFAULT_TARGETS) README.md
 .PHONY: all
 
 README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml) $(wildcard *Syntax.sml)
 DIRS = $(wildcard */)
-README.md: $(CAKEMLDIR)/developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
-	$(protect $(CAKEMLDIR)/developers/readme_gen) $(README_SOURCES)
+README.md: ../developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
+	$(protect ../developers/readme_gen) $(README_SOURCES)