Recursive makefiles

The idea is that agda should be run less often (make will check if files changed)
Saizan · Feb 14, 2018 · ac73e26 · ac73e26
1 parent f48645a
commit ac73e26
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -1,3 +1,7 @@
-check:
-	agda src/Cubical/Everything.agda
-	agda examples/Cubical/Examples/Everything.agda
+check: cubical cubical-examples
+
+cubical:
+	make -C src
+
+cubical-examples:
+	make -C examples
diff --git a/examples/Makefile b/examples/Makefile
@@ -0,0 +1,2 @@
+check: $(wildcard **/*.agda)
+	agda Cubical/Examples/Everything.agda
diff --git a/src/Makefile b/src/Makefile
@@ -0,0 +1,2 @@
+check: $(wildcard **/*.agda)
+	agda Cubical/Everything.agda
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		check: $(wildcard */.agda)
		agda Cubical/Examples/Everything.agda
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		check: $(wildcard */.agda)
		agda Cubical/Everything.agda