The noweb source has a script called "awkname" that allows changing the awk command from nawk. Unfortunately this does not cover all the programs included, and the change is not easily reversible. It also doesn't make the manual page reflect the selected command.
Here's a patch that fixes awkname, makes debian/rules use it, and
changes the manual page to match the resulting behaviour. However it
might well be better to make the command changes in a patch rather than
through awkname.
diff -ur noweb-2.11b.orig/debian/rules noweb-2.11b/debian/rules
--- noweb-2.11b.orig/debian/rules 2006-08-28 16:39:38.000000000 +0000
+++ noweb-2.11b/debian/rules 2006-08-28 16:32:20.057372387 +0000
@@ -55,14 +55,22 @@
# Make rules
-configure: patch
- dh_testdir
+configure: patch patch-awk
# eventually drop this
BUILD_TREE := $(PWD)
+patch-awk: patch-awk-stamp
+patch-awk-stamp:
+ cd $(BUILD_TREE)/src && ./awkname awk
+ touch patch-awk-stamp
+
+unpatch-awk:
+ cd $(BUILD_TREE)/src && ./awkname nawk
+ rm -f patch-awk-stamp
+
build-arch: build-arch-stamp
-build-arch-stamp: patch
+build-arch-stamp: configure
dh_testdir
cd $(BUILD_TREE)/src && \
$(MAKE) LIBSRC=icon ICONC="${ICONC}" \
@@ -90,7 +98,7 @@
build: build-arch build-indep
-clean: clean-patched unpatch
+clean: clean-patched unpatch-awk unpatch
clean-patched:
dh_testdir
dh_testroot
diff -ur noweb-2.11b.orig/src/awkname noweb-2.11b/src/awkname
--- noweb-2.11b.orig/src/awkname 2000-06-16 20:26:42.000000000 +0000
+++ noweb-2.11b/src/awkname 2006-08-28 16:39:12.630973288 +0000
@@ -7,12 +7,13 @@
rc=0
new=/tmp/$$.new; old=/tmp/$$.old
-for file in lib/emptydefn lib/unmarkup lib/toascii lib/btdefn \
+for file in ../examples/sharpline \
+ lib/emptydefn lib/unmarkup lib/toascii lib/btdefn
lib/pipedocs \
awk/noidx awk/totex awk/tohtml awk/noindex \
- shell/nocount shell/nountangle shell/noweb
shell/noroots
+ shell/nocount shell/nountangle shell/noweb
shell/noroots shell/noroff shell/toroff
do
trap 'rm -f $new $old; exit 1' 1 2 15 # clean up files
- if sed -e "s/nawk '/$1 '/" -e "s/nawk -f/$1 -f/" < $file >$new; then
+ if sed -e "s/\\(g\\|n\\|\\)awk \\('\\|-f\\)/$1 \\2/" -e
"s/^AWK=\\(g\\|n\\|\\)awk/AWK=$1/" < $file >$new; then
cp $file $old # save original file
trap 'trap "" 1 2 15; cp $old $file # ignore signals
rm -f $new $old; exit 1' 1 2 15 # during restore
--- noweb-2.11b.orig/src/xdoc/manpage.nw 2006-05-04 16:07:04.000000000
+0000
+++ noweb-2.11b/src/xdoc/manpage.nw 2006-08-28 16:49:21.644672959 +0000
@@ -358,9 +358,7 @@
\".PP
\".I noweb
\"requires the new version of
-\".IR awk ,
-\"assumed to be called
-\".IR nawk .
+\".IR awk .
\"DEC
\".I nawk
\"has a bug in that that causes
@@ -561,9 +559,7 @@
.PP
.I noweb
requires the new version of
-.IR awk ,
-assumed to be called
-.IR nawk .
+.IR awk .
DEC
.I nawk
has a bug in that that causes problems with braces in
-- END --
Ben.
--
Ben Hutchings -- [EMAIL PROTECTED] shortened to [EMAIL PROTECTED]
If you've signed my GPG key, please send a signature on and to the new uid.
The program is absolutely right; therefore, the computer must be wrong.
signature.asc
Description: This is a digitally signed message part
