La façon dont je trouve le plus pratique pour lire un programme CWEB
est en cours d'exécution cweave
(manpage) sur le fichier source .w
pour générer un fichier .tex
, puis courir pdfetex
pour obtenir une belle hyperlié PDF. Schématiquement:
`.W SOURCE ----(cweave)----> .TEX ----(pdfetex)----> PDF`
Comme vous le savez sans doute, la structure d'un programme CWEB
lui-même est une sorte de hyperliés (avec des sections se référant d'autres sections). Avoir un bon PDF lié est un pur plaisir à lire, surtout si les programmes ont été écrits par Don Knuth lui-même!
La configuration suivante impliquerait un certain effort de votre part (et de téléchargement) MBs, mais j'espère que vous aimerez le résultat final:
- Installation Cygwin (pour tout programmeur sérieux de Windows, je pense installer Cygwin est une évidence). Assurez-vous d'installer le Typesetting paquets connexes (tex, pdfetex, amstex et tout ça). Si cygwin vous donne la possibilité d'installer CWEB, faites-le aussi.
- Si vous n'obtenez pas
cweave
et ctangle
avec cygwin, téléchargez le sources et compilez-les.
Une fois Cygwin et cweb ont été installés, procédez comme suit à tout programme .w
que vous souhaitez étudier (je prends un exemple de bdd12.w
):
- Run
cweave
comme ceci: cweave bdd12.w
Cette devrait générer un fichier bdd12.tex
.
- Ensuite, exécutez
pdfetex
comme ceci: pdfetex bdd12.tex
Ceci devrait vous permettre d'obtenir un PDF net et référencé. Le fichier PDF généré comporte également un index de symboles à la fin (et d'autres données de référence croisée), ce qui vous permet de passer rapidement à leurs définitions.
Y at-il un meilleur moyen, sans avoir besoin d'installer TeX sur ma machine? –
Étant donné que la source CWEB est écrite dans une variante TeX, je dirais probablement pas. Cependant, TeX est gratuit et pas particulièrement gonflé, donc devoir l'installer n'est pas une grosse affaire. –