Bug 30596

Summary:	noweb (or nowebm) for literate programming
Product:	New/proposed packages	Reporter:	Ivan Zakharyaschev <imz>
Component:	Обычный репозиторий	Assignee:	Andrey Cherepanov <cas>
Status:	NEW ---	QA Contact:	Andrey Cherepanov <cas>
Severity:	normal
Priority:	P3	CC:	viy
Version:	не указана
Hardware:	all
OS:	Linux
URL:	http://www.cs.tufts.edu/~nr/noweb/

Description

Ivan Zakharyaschev 2014-12-23 18:30:03 MSK

Unfortunately, the existing packages:

http://ftp.de.debian.org/debian/pool/main/n/noweb/noweb_2.11b-8_i386.deb or
http://www.cs.tufts.edu/~nr/noweb/nowebm-2.11a-2.i386.rpm

are not compatible with ALTLinux:

-- due to "tempfile" https://bugzilla.altlinux.org/show_bug.cgi?id=30595 , https://bugzilla.altlinux.org/show_bug.cgi?id=30594
-- .deb not recognized by our "alien"

"noweb" is needed to compile sources written with it.

For example, the current development version of Muenster Curry Compiler: http://danae.uni-muenster.de/~lux/curry/ , http://danae.uni-muenster.de/~lux/curry/darcs/curry .

Some searches through ALT Linux data also give the following occurences:

http://www.google.com/cse?cx=014412136813254060649%3Am2__wfh9ajy&q=notangle&sa=Search&siteurl=search.altlinux.org%2F&ref=&ss=4120j2061658j16#gsc.tab=0&gsc.q=%22noweave%22

* lyx

http://www.google.com/cse?cx=014412136813254060649%3Am2__wfh9ajy&q=notangle&sa=Search&siteurl=search.altlinux.org%2F&ref=&ss=4120j2061658j16#gsc.tab=0&gsc.q=%22noweb%22

* lyx
* geda (outdated)
* cweb -- is there a cweb package that provides noweb? Probably, not in current Sisyphus.

* http://www.sisyphus.ru/ru/srpm/Sisyphus/open-axiom/spec used to use an internal copy of noweb -- http://git.altlinux.org/people/real/packages/?p=open-axiom.git;a=commitdiff;h=8ed24305a0c4d687c6810aedec6216950778c3e7 (now they use some "hammer". Perhaps, hammer is substitute for "noweb"?)

Comment 1

Ivan Zakharyaschev 2014-12-23 18:33:38 MSK

As for openaxiom, they now use their own implementation of "noweb" -- http://git.altlinux.org/people/real/packages/?p=open-axiom.git;a=blob;f=src/utils/hammer.cc;h=17c5cc736aef635a6d82b09764a59091a11a4ca8;hb=8ed24305a0c4d687c6810aedec6216950778c3e7 :

// -- This program implements basic functionalities for untangling
// -- algebra source code from the pamphlets.  The syntax is that
// -- of `noweb'.  A chunk definition starts with a pattern
// -- <<name>>= on a line by itself, and ends with `@' by itself
// -- on a line.  A chunk can refer to another chunk through
// -- a pattern of the form `<<name>>'.