PATLIB and OPATGEN, Source Files

David Antos

Source file repository. All the sources are in the source directory and you can easily fetch them there.

PATLIB

The only source file is patlib.w.

Printed version of PATLIB (suitable for paper) is available PostScript format. The pretty-printed screen version is kept in the thesis directory under a bit cryptic name c-patlib-s.pdf in PDF format. For reading on screen, I highly recommend the latter version.

OPATGEN

The same is true for OPATGEN. The source file is opatgen.w.

Printed version of OPATGEN (suitable for paper) is available PostScript format. The pretty-printed screen version is kept in the thesis directory as c-opatgen-s.pdf in PDF format.

Compilation and usage

The OPATGEN program was tested on Linux with glibc-2.2.2. Nevertheless there are quite no reasons why it should not work on other systems. In the source directory, you can find a makefile to build the program. It needs CWEB system for literate programming by Knuth and Levy available on CTAN.

The Makefile's default goal builds the program for debugging, I recommend to use optimizations at least -O2 or -O3. In that case, expect the compilation to be pretty slow. Nevertheless the overhead pays off as the output will be approx. five times quicker. The o1, o2, and o3 goals of the Makefile build the same binary as the default goal, but only with optimizations. The printed version is produced in any case.

For information about usage of OPATGEN, the patterns, and details of the design process, go to the documentation.

Main PATLIB page