From ac73e262cfe3ca9bbe30d55e8cf8f1d1a665d253 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Tue, 13 Feb 2018 11:46:49 +0100 Subject: [PATCH] Recursive makefiles The idea is that agda should be run less often (make will check if files changed) --- Makefile | 10 +++++++--- examples/Makefile | 2 ++ src/Makefile | 2 ++ 3 files changed, 11 insertions(+), 3 deletions(-) create mode 100644 examples/Makefile create mode 100644 src/Makefile diff --git a/Makefile b/Makefile index 5b7aaa5..3c5ed91 100644 --- 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 new file mode 100644 index 0000000..44d99fc --- /dev/null +++ b/examples/Makefile @@ -0,0 +1,2 @@ +check: $(wildcard **/*.agda) + agda Cubical/Examples/Everything.agda diff --git a/src/Makefile b/src/Makefile new file mode 100644 index 0000000..b3ca905 --- /dev/null +++ b/src/Makefile @@ -0,0 +1,2 @@ +check: $(wildcard **/*.agda) + agda Cubical/Everything.agda