bin_PROGRAMS = runfinite
runfinite_SOURCES = main.cpp