summaryrefslogtreecommitdiff
path: root/web/noweb/contrib/Makefile
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /web/noweb/contrib/Makefile
Initial commit
Diffstat (limited to 'web/noweb/contrib/Makefile')
-rw-r--r--web/noweb/contrib/Makefile13
1 files changed, 13 insertions, 0 deletions
diff --git a/web/noweb/contrib/Makefile b/web/noweb/contrib/Makefile
new file mode 100644
index 0000000000..0e048da8ea
--- /dev/null
+++ b/web/noweb/contrib/Makefile
@@ -0,0 +1,13 @@
+SHELL=/bin/sh
+LIB=/dev/null # to be overridden
+ICONC=icont # to be overridden
+DIRS=davelove jonkrom leew norman
+
+# don't do kostas; it requires gnu make (ugh)
+
+all: ; for i in $(DIRS); do (cd $$i; make ICONC=$(ICONC) all); done
+install: ; for i in $(DIRS); do (cd $$i; make LIB=$(LIB) BIN=$(BIN) install); done
+source: ; for i in $(DIRS); do (cd $$i; make source); done
+clean: ; for i in $(DIRS); do (cd $$i; make clean); done
+clobber: clean
+