Skip to content
Permalink
Browse files

Improve dependencies for compiler/README.md

It was ignoring changes to subdirectory readmePrefix files. Now we
include them, but special-case away the bootstrap and encoders
directories that don't have a prefix file.
  • Loading branch information...
xrchz committed Mar 4, 2019
1 parent dfd36b3 commit bd2a67dbd830e412b60c28e6a4033372395018f9
Showing with 2 additions and 1 deletion.
  1. +2 −1 compiler/Holmakefile
@@ -10,5 +10,6 @@ all: $(DEFAULT_TARGETS) README.md
.PHONY: all

README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml) $(wildcard *Syntax.sml)
README.md: $(CAKEMLDIR)/developers/readme_gen readmePrefix $(README_SOURCES)
DIRS = $(patsubst bootstrap/,,$(patsubst encoders/,,$(wildcard */)))
README.md: $(CAKEMLDIR)/developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
$(protect $(CAKEMLDIR)/developers/readme_gen) $(README_SOURCES)

0 comments on commit bd2a67d

Please sign in to comment.
You can’t perform that action at this time.