
EXTSRC=parser.sml.sml lexer.sml.sml
FILES=sets.sml errors.sml stringlisthash.sml table2.sml auxrep.sml lexgen.sml parser.sml.sig lexer.sml.sml parser.sml.sml parsermain.sml xdimacs.sml reach2cnf.sml reach2acyc.sml main.sml graph2dimacs.mlb parser.sml lexer.sml Makefile README


MLTONOPTIONS = -codegen amd64 -inline 1000 -default-type int32 -cc-opt "-O3 -fprefetch-loop-arrays" -link-opt "-static"

all: $(EXTSRC)
	mlton $(MLTONOPTIONS) -output graph2dimacs graph2dimacs.mlb

profiler: $(EXTSRC)
	mlton $(MLTONOPTIONS) -output graph2dimacs.profiler.time -profile time -profile-stack true -profile-branch false -profile-val false graph2dimacs.mlb

parser.sml.sml: parser.sml
	mlyacc parser.sml

lexer.sml.sml: lexer.sml
	mllex lexer.sml

tar:
	tar cvf graph2dimacs.tar $(FILES)
