head 1.6; access; symbols pkgsrc-2023Q4:1.6.0.4 pkgsrc-2023Q4-base:1.6 pkgsrc-2023Q3:1.6.0.2 pkgsrc-2023Q3-base:1.6 pkgsrc-2023Q2:1.5.0.40 pkgsrc-2023Q2-base:1.5 pkgsrc-2023Q1:1.5.0.38 pkgsrc-2023Q1-base:1.5 pkgsrc-2022Q4:1.5.0.36 pkgsrc-2022Q4-base:1.5 pkgsrc-2022Q3:1.5.0.34 pkgsrc-2022Q3-base:1.5 pkgsrc-2022Q2:1.5.0.32 pkgsrc-2022Q2-base:1.5 pkgsrc-2022Q1:1.5.0.30 pkgsrc-2022Q1-base:1.5 pkgsrc-2021Q4:1.5.0.28 pkgsrc-2021Q4-base:1.5 pkgsrc-2021Q3:1.5.0.26 pkgsrc-2021Q3-base:1.5 pkgsrc-2021Q2:1.5.0.24 pkgsrc-2021Q2-base:1.5 pkgsrc-2021Q1:1.5.0.22 pkgsrc-2021Q1-base:1.5 pkgsrc-2020Q4:1.5.0.20 pkgsrc-2020Q4-base:1.5 pkgsrc-2020Q3:1.5.0.18 pkgsrc-2020Q3-base:1.5 pkgsrc-2020Q2:1.5.0.16 pkgsrc-2020Q2-base:1.5 pkgsrc-2020Q1:1.5.0.12 pkgsrc-2020Q1-base:1.5 pkgsrc-2019Q4:1.5.0.14 pkgsrc-2019Q4-base:1.5 pkgsrc-2019Q3:1.5.0.10 pkgsrc-2019Q3-base:1.5 pkgsrc-2019Q2:1.5.0.8 pkgsrc-2019Q2-base:1.5 pkgsrc-2019Q1:1.5.0.6 pkgsrc-2019Q1-base:1.5 pkgsrc-2018Q4:1.5.0.4 pkgsrc-2018Q4-base:1.5 pkgsrc-2018Q3:1.5.0.2 pkgsrc-2018Q3-base:1.5 pkgsrc-2018Q2:1.4.0.4 pkgsrc-2018Q2-base:1.4 pkgsrc-2018Q1:1.4.0.2 pkgsrc-2018Q1-base:1.4 pkgsrc-2017Q4:1.3.0.28 pkgsrc-2017Q4-base:1.3 pkgsrc-2017Q3:1.3.0.26 pkgsrc-2017Q3-base:1.3 pkgsrc-2017Q2:1.3.0.22 pkgsrc-2017Q2-base:1.3 pkgsrc-2017Q1:1.3.0.20 pkgsrc-2017Q1-base:1.3 pkgsrc-2016Q4:1.3.0.18 pkgsrc-2016Q4-base:1.3 pkgsrc-2016Q3:1.3.0.16 pkgsrc-2016Q3-base:1.3 pkgsrc-2016Q2:1.3.0.14 pkgsrc-2016Q2-base:1.3 pkgsrc-2016Q1:1.3.0.12 pkgsrc-2016Q1-base:1.3 pkgsrc-2015Q4:1.3.0.10 pkgsrc-2015Q4-base:1.3 pkgsrc-2015Q3:1.3.0.8 pkgsrc-2015Q3-base:1.3 pkgsrc-2015Q2:1.3.0.6 pkgsrc-2015Q2-base:1.3 pkgsrc-2015Q1:1.3.0.4 pkgsrc-2015Q1-base:1.3 pkgsrc-2014Q4:1.3.0.2 pkgsrc-2014Q4-base:1.3 pkgsrc-2014Q3:1.2.0.6 pkgsrc-2014Q3-base:1.2 pkgsrc-2014Q2:1.2.0.4 pkgsrc-2014Q2-base:1.2 pkgsrc-2014Q1:1.2.0.2 pkgsrc-2014Q1-base:1.2 pkgsrc-2013Q4:1.1.1.1.0.2 pkgsrc-2013Q4-base:1.1.1.1 pkgsrc-base:1.1.1.1 TNF:1.1.1; locks; strict; comment @# @; 1.6 date 2023.08.02.19.21.55; author nia; state Exp; branches; next 1.5; commitid 2U2KeD5hkifslfzE; 1.5 date 2018.07.18.00.06.21; author joerg; state Exp; branches; next 1.4; commitid 9fkLzQuPlqFC7yKA; 1.4 date 2018.01.01.18.16.38; author rillig; state Exp; branches; next 1.3; commitid L9I6buPNATMZvclA; 1.3 date 2014.12.15.12.31.09; author jperkin; state Exp; branches; next 1.2; commitid cGZWYH3TWN2fo82y; 1.2 date 2014.01.09.14.38.33; author jperkin; state Exp; branches; next 1.1; commitid tbhpCV1Yv1av1skx; 1.1 date 2013.10.28.04.15.11; author asau; state Exp; branches 1.1.1.1; next ; commitid oxKfBjfwq8GQU0bx; 1.1.1.1 date 2013.10.28.04.15.11; author asau; state Exp; branches; next ; commitid oxKfBjfwq8GQU0bx; desc @@ 1.6 log @*: Mark packages that were originally identified as requiring C++03 due to failing to build with a C++14 default compiler with FORCE_CXX_STD instead of USE_LANGUAGES. @ text @# $NetBSD: Makefile,v 1.5 2018/07/18 00:06:21 joerg Exp $ DISTNAME= minisat-2.2.0 CATEGORIES= math MASTER_SITES= http://minisat.se/downloads/ MAINTAINER= pkgsrc-users@@NetBSD.org HOMEPAGE= http://minisat.se/ COMMENT= Minimalistic yet highly efficient SAT solver LICENSE= mit WRKSRC= ${WRKDIR}/minisat USE_LANGUAGES= c c++ USE_TOOLS+= gmake #BUILD_DIRS= core simp BUILD_DIRS= simp MAKE_ENV= MROOT=${WRKSRC} MAKE_ENV+= LFLAGS="-L${BUILDLINK_PREFIX.zlib}/lib ${COMPILER_RPATH_FLAG}${BUILDLINK_PREFIX.zlib}/lib" BUILD_TARGET= # empty # Fails with C++14 default language. FORCE_CXX_STD= c++03 INSTALLATION_DIRS+= bin do-install: ${INSTALL_PROGRAM} ${WRKSRC}/simp/minisat \ ${DESTDIR}${PREFIX}/bin/minisat .include "../../devel/zlib/buildlink3.mk" .include "../../mk/bsd.pkg.mk" @ 1.5 log @Mark packages that require C++03 (or the GNU variants) if they fail with C++14 default language. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.4 2018/01/01 18:16:38 rillig Exp $ d13 1 a13 1 USE_LANGUAGES= c++03 d21 3 @ 1.4 log @Replaced $(ROUND) with ${CURLY} variable references. This has been a pkglint warning for several years now, and pkglint can even fix it automatically. And it did for this commit. Only in lang/mercury, two passes of autofixing were necessary because there were nested variables. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.3 2014/12/15 12:31:09 jperkin Exp $ d13 1 a13 1 USE_LANGUAGES= c++ @ 1.3 log @Find correct zlib. @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.2 2014/01/09 14:38:33 jperkin Exp $ d12 1 a12 1 WRKSRC= $(WRKDIR)/minisat d17 1 a17 1 MAKE_ENV= MROOT=$(WRKSRC) d24 2 a25 2 $(INSTALL_PROGRAM) $(WRKSRC)/simp/minisat \ $(DESTDIR)$(PREFIX)/bin/minisat @ 1.2 log @Needs zlib. Provide dummy Minisat::memUsedPeak(). @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.1.1.1 2013/10/28 04:15:11 asau Exp $ d18 1 @ 1.1 log @Initial revision @ text @d1 1 a1 1 # $NetBSD$ d26 1 @ 1.1.1.1 log @Import MiniSat version 2.2.0 as math/minisat. MiniSat is a minimalistic, industrial strength, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. @ text @@