summaryrefslogtreecommitdiff
path: root/web/noweb/src/awkmake
diff options
context:
space:
mode:
Diffstat (limited to 'web/noweb/src/awkmake')
-rwxr-xr-xweb/noweb/src/awkmake10
1 files changed, 10 insertions, 0 deletions
diff --git a/web/noweb/src/awkmake b/web/noweb/src/awkmake
new file mode 100755
index 0000000000..5c710ce0f8
--- /dev/null
+++ b/web/noweb/src/awkmake
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+WHICH=${LIBSRC:-awk}
+DIR=/usr/local/noweb-$WHICH
+
+mkdir -p $DIR
+
+
+if [ $# -eq 0 ]; then set all install; fi # "$@" breaks make for empty args
+/usr/bin/make ICONT=icont CC="gcc -ansi -pedantic -O -Wall -Werror" LIBSRC=$WHICH BIN=$DIR/bin LIB=$DIR/lib MAN=$DIR/man TEXINPUTS=/usr/local/share/texmf/tex/plain/misc ELISP=/dev/null "$@"