caml-urm

A OCaml module for manipulating unlimited register machines

Makefile (320B)

 1 .PHONY: clean
 2 
 3 urm: urm.mli urm.ml main.ml
 4 	ocamlfind ocamlopt -package camlp-streams -o urm -linkpkg $^
 5 
 6 docs.pdf: urm.mli
 7 	ocamldoc -latex -o docs.tex urm.mli
 8 	latexmk -pdflatex docs.tex
 9 	texclear docs.tex
10 	rm docs.tex ocamldoc.sty
11 
12 clean:
13 	find . -type f -name '*.cmi' -or -name '*.cmx' -or -name '*.o' | xargs -r rm