diff options
Diffstat (limited to 'web/noweb/src/awkmake')
-rwxr-xr-x | web/noweb/src/awkmake | 10 |
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 "$@" |