2009-06-15 7 views

Répondre

5

Moins de cinq minutes de recherche sur Google apporte cette place: http://www.literateprogramming.com/cweb_download.html

+0

Y at-il un meilleur moyen, sans avoir besoin d'installer TeX sur ma machine? –

+2

É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. –

4

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.
Questions connexes