external/libpicosat/Makefile.in — HardenedBSD-pkg

rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9

HardenedBSD Package Manager

Shawn Webb

Merge remote-tracking branch 'upstream/main' 6 days ago 920c183 History

include @builddir@/mk/defs.mk
LIB=	picosat
SRCS=	picosat.c \
	version.c
LOCAL_CFLAGS=	-Wno-strict-aliasing \
		-Wno-unused -DNGETRUSAGE

VPATH=	$(top_srcdir)/external/picosat

include $(MK)/static-lib.mk