.include LIB= veriexec MAN= veriexec.3 INCS= libveriexec.h WARNS?= 2 SRCS= veriexec_check.c .include