BUG: noweb 2.11b can't find some files (totex, noidx, etc)

[c.khroulev@…]

noweb, notangle and noweave crash with messages like the following:

[[[ macbook:Desktop constantine$ touch test.nw macbook:Desktop constantine$ noweb test.nw /opt/local/bin/noweb: line 23: /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_devel_noweb/work/destroot/opt/local/libexec/noweb/markup: No such file or directory /opt/local/bin/noweb: line 23: /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_devel_noweb/work/destroot/opt/local/libexec/noweb/mnt: No such file or directory /opt/local/bin/noweb: line 28: /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_devel_noweb/work/destroot/opt/local/libexec/noweb/finduses: No such file or directory /opt/local/bin/noweb: line 28: /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_devel_noweb/work/destroot/opt/local/libexec/noweb/noidx: No such file or directory /opt/local/bin/noweb: line 28: /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_devel_noweb/work/destroot/opt/local/libexec/noweb/markup: No such file or directory /opt/local/bin/noweb: line 31: /opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_devel_noweb/work/destroot/opt/local/libexec/noweb/totex: No such file or directory /opt/local/bin/noweb: line 30: nawk: command not found ]]]

(Seems like noweb looks for the files in the build directory...)

Also, noweb should (probably) depend on nawk.

[michipili (Michael Grünewald)]

New configure script

[michipili (Michael Grünewald)]

NOWEB's installation procedure does not distingate between configure and installation stages. As a result, DESTROOT comes hardwired in installed scripts, etc. To cope with this, I have written a simple minded configure script, and modified Portfile to reflect this.

There is also a few cosmetic changes in NOWEB's MAkefile patch.

[michipili (Michael Grünewald)]

Woops, it is still broken (but you can tangle). Sorry for the noise.

[michipili (Michael Grünewald)]

The actual correction

[michipili (Michael Grünewald)]

Okay, it now works, at least for me. The only actual correction to be done is the new path-Makefile.diff. Files Portfile and configure.sh should be ignored.

The new correction assumes that DESTDIR is non nil iff we are in destroot stage. I do not know if this unwise or not. -- Keep enjoy noweb, Michaël

[c.khroulev@…]

I still have the same problem. :-(

(After doing "sudo port uninstall noweb;sudo port clean --all noweb;sudo port -d sync;sudo port install noweb", that is.)

[michipili (Michael Grünewald)]

The patch file has to be commited first. If you are impatient, try this:

cp -R prt dir noweb noweb.new # # Replace noweb.new/files/patch-Makefile.diff # by the above replacement # sudo port uninstall noweb sudo port -D noweb.new install

[michipili (Michael Grünewald)]

cp -R `port dir noweb` noweb.new
#
# Replace noweb.new/files/patch-Makefile.diff
#  by the above replacement
#
sudo port uninstall noweb
sudo port -D noweb.new install

[jmroot (Joshua Root)]

Thanks, new patch file committed in r34948.

[(none)]

Milestone Port Bugs deleted