SecBSD/ports
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

sync ports with The Matrix

Browse source
This commit is contained in:
purplerain 2023-09-22 16:24:11 +00:00
parent 4cc27cb2e4
commit 130329df10
Signed by: purplerain
GPG key ID: F42C07F07E2E35B7
773 changed files with 5162 additions and 2980 deletions
Download patch file Download diff file Expand all files Collapse all files

6
devel/cbmc/Makefile
View file

@ -17,9 +17,9 @@ PERMIT_PACKAGE = Yes
WANTLIB += c m ${COMPILER_LIBCXX}
DISTFILES = ${GH_DISTFILE} \
minisat2_2.2.1.orig.tar.gz:0
MASTER_SITES0 = ${MASTER_SITE_DEBIAN:=main/m/minisat2/}
DISTFILES = ${GH_DISTFILE}
DISTFILES.ex = minisat2_2.2.1.orig.tar.gz
SITES.ex = ${SITE_DEBIAN:=main/m/minisat2/}
# C++11
COMPILER = base-clang ports-gcc