caml-urm
A OCaml module for manipulating unlimited register machines
01 02 03 04 05 06 07 08 09 10 11 12 13
.PHONY: clean urm: urm.mli urm.ml main.ml ocamlfind ocamlopt -package camlp-streams -o urm -linkpkg $^ docs.pdf: urm.mli ocamldoc -latex -o docs.tex urm.mli latexmk -pdflatex docs.tex texclear docs.tex rm docs.tex ocamldoc.sty clean: find . -type f -name '*.cmi' -or -name '*.cmx' -or -name '*.o' | xargs -r rm