1 2.include <src.opts.mk> 3 4LIB= veriexec 5MAN= veriexec.3 6INCS= libveriexec.h 7 8WARNS?= 2 9 10SRCS= \ 11 veriexec_check.c \ 12 veriexec_get.c 13 14.include <bsd.lib.mk> 15 16