From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- web/noweb/src/awkmake | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100755 web/noweb/src/awkmake (limited to 'web/noweb/src/awkmake') 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 "$@" -- cgit v1.2.3