Bug 30596 - noweb (or nowebm) for literate programming
Summary: noweb (or nowebm) for literate programming
Status: NEW
Alias: None
Product: New/proposed packages
Classification: Development
Component: Обычный репозиторий (show other bugs)
Version: не указана
Hardware: all Linux
: P3 normal
Assignee: Andrey Cherepanov
QA Contact: Andrey Cherepanov
URL: http://www.cs.tufts.edu/~nr/noweb/
Depends on:
Reported: 2014-12-23 18:30 MSK by Ivan Zakharyaschev
Modified: 2014-12-23 18:33 MSK (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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

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:


* lyx


* 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>>'.