.include <src.opts.mk>

LIB=		veriexec
MAN=		veriexec.3
INCS=		libveriexec.h

WARNS?=		2

SRCS= \
	veriexec_check.c \
	veriexec_get.c

.include <bsd.lib.mk>