Add a very simple incremental Makefile target

2013-08-21 14:54:02 +02:00 · 2013-08-21 14:54:02 +02:00 · 29b6f8c875
commit 29b6f8c875
parent cacd51e2fe
1 changed files with 11 additions and 0 deletions
--- a/11
+++ b/11
@ -15,6 +15,17 @@ build: pre_build
 	./Makefile.dryice.js demo
 	./Makefile.dryice.js bm

+# Minimal build: call Makefile.dryice.js only if our sources changed
+minimal: pre_build build/src/ace.js
+
+build/src/ace.js : ${wildcard lib/*} \
+                   ${wildcard lib/*/*} \
+                   ${wildcard lib/*/*/*} \
+                   ${wildcard lib/*/*/*/*} \
+                   ${wildcard lib/*/*/*/*/*} \
+                   ${wildcard lib/*/*/*/*/*/*}
+	./Makefile.dryice.js
+
 doc:
 	cd doc;\
 	(test -d node_modules && npm update) || npm install;\