../compat/getopt.c \
	../compat/xalloc.c \
	../compat/regex.c \
	../src/main.c \
	../src/psgen.c \
	../src/util.c \
	../src/mkafmmap.c \
	../states/lex.l \
	../states/main.c \
	../states/prims.c \
	../states/process.c \
	../states/utils.c