Opened 16 years ago

Closed 16 years ago

Last modified 15 years ago

#14459 closed defect (fixed)

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

Reported by: c.khroulev@… Owned by: jmroot (Joshua Root)
Priority: Normal Milestone:
Component: ports Version: 1.6.0
Keywords: noweb Cc: michipili (Michael Grünewald)
Port:

Description

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.

Attachments (3)

configure.sh (1019 bytes) - added by michipili (Michael Grünewald) 16 years ago.
New configure script
Portfile (1.3 KB) - added by michipili (Michael Grünewald) 16 years ago.
patch-Makefile.diff (4.3 KB) - added by michipili (Michael Grünewald) 16 years ago.
The actual correction

Download all attachments as: .zip

Change History (12)

Changed 16 years ago by michipili (Michael Grünewald)

Attachment: configure.sh added

New configure script

Changed 16 years ago by michipili (Michael Grünewald)

Attachment: Portfile added

comment:1 Changed 16 years ago by 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.

comment:2 Changed 16 years ago by michipili (Michael Grünewald)

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

Changed 16 years ago by michipili (Michael Grünewald)

Attachment: patch-Makefile.diff added

The actual correction

comment:3 Changed 16 years ago by 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

comment:4 Changed 16 years ago by 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.)

comment:5 Changed 16 years ago by 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

comment:6 Changed 16 years ago by 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

comment:7 Changed 16 years ago by jmroot (Joshua Root)

Cc: c.khroulev@… removed
Owner: changed from macports-tickets@… to jmr@…
Status: newassigned

comment:8 Changed 16 years ago by jmroot (Joshua Root)

Resolution: fixed
Status: assignedclosed

Thanks, new patch file committed in r34948.

comment:9 Changed 15 years ago by (none)

Milestone: Port Bugs

Milestone Port Bugs deleted

Note: See TracTickets for help on using tickets.