cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

devel/cbmc: restore WRKDIST to fix build

Browse Source
This commit is contained in:
naddy 2021-11-29 22:18:46 +00:00
parent ec1bc118cc
commit 37387a6112
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
devel/cbmc/Makefile
View File

@ -1,4 +1,4 @@
#$OpenBSD: Makefile,v 1.11 2021/11/28 12:45:46 sthen Exp $
#$OpenBSD: Makefile,v 1.12 2021/11/29 22:18:46 naddy Exp $
COMMENT = Bounded Model Checker for C and C++ programs
@ -34,6 +34,7 @@ MAKE_FLAGS = CFLAGS="-Wall ${CFLAGS}" \
CXXFLAGS="-Wall ${CXXFLAGS}" \
LINKFLAGS="${LDFLAGS}"
WRKDIST = ${WRKDIR}/cbmc-${DISTNAME}
WRKSRC = ${WRKDIST}/src
post-extract: