michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix Makefile

Browse source
This commit is contained in:
Wen Kokke 2020-07-15 16:26:21 +01:00
parent 56613e9d5e
commit 26ad191b9b
1 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Makefile
View file

@ -27,9 +27,6 @@ else
SEDI := sed -i SEDI := sed -i
endif endif
bla:
@echo $(AGDA_FILES)
# Build PLFA web version and test links # Build PLFA web version and test links
default: test default: test
@ -109,7 +106,7 @@ in := $(1)
out := $(subst courses/,out/,$(subst src/,out/,$(subst .lagda.md,.md,$(1)))) out := $(subst courses/,out/,$(subst src/,out/,$(subst .lagda.md,.md,$(1))))
$$(out) : in = $(1) $$(out) : in = $(1)
$$(out) : out = $(subst courses/,out/,$(subst src/,out/,$(subst .lagda.md,.md,$(1)))) $$(out) : out = $(subst courses/,out/,$(subst src/,out/,$(subst .lagda.md,.md,$(1))))
$$(out) : $$(in) | out/ $$(out) : $$(in)
@echo "Processing $$(subst ./,,$$(in))" @echo "Processing $$(subst ./,,$$(in))"
@mkdir -p out/ @mkdir -p out/
ifeq (,$$(findstring courses/,$$(in))) ifeq (,$$(findstring courses/,$$(in)))
@ -149,7 +146,7 @@ epub: out/epub/plfa.epub
epubcheck: out/epub/plfa.epub epubcheck: out/epub/plfa.epub
$(EPUBCHECK) out/epub/plfa.epub $(EPUBCHECK) out/epub/plfa.epub
out/epub/plfa.epub: out/epub/ | $(AGDA_FILES) $(LUA_FILES) epub/main.css out/epub/acknowledgements.md out/epub/plfa.epub: $(AGDA_FILES) $(LUA_FILES) epub/main.css out/epub/acknowledgements.md
@mkdir -p out/epub/ @mkdir -p out/epub/
$(PANDOC) --strip-comments \ $(PANDOC) --strip-comments \
--css=epub/main.css \ --css=epub/main.css \