(noweb, or the transitional nowebm, in Debian-based distributions)
Extract Makefile and compile with:
- $ notangle -Rmakefile sawsim.nw | sed 's/ /\t/' > Makefile
+ $ notangle -Rmakefile src/sawsim.nw | sed 's/ /\t/' > Makefile
$ make
Run the unit tests with
$ make check