diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /web/noweb/src/awkmake |
Initial commit
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 "$@" |