head	1.6;
access;
symbols
	pkgsrc-2026Q1:1.6.0.22
	pkgsrc-2026Q1-base:1.6
	pkgsrc-2025Q4:1.6.0.20
	pkgsrc-2025Q4-base:1.6
	pkgsrc-2025Q3:1.6.0.18
	pkgsrc-2025Q3-base:1.6
	pkgsrc-2025Q2:1.6.0.16
	pkgsrc-2025Q2-base:1.6
	pkgsrc-2025Q1:1.6.0.14
	pkgsrc-2025Q1-base:1.6
	pkgsrc-2024Q4:1.6.0.12
	pkgsrc-2024Q4-base:1.6
	pkgsrc-2024Q3:1.6.0.10
	pkgsrc-2024Q3-base:1.6
	pkgsrc-2024Q2:1.6.0.8
	pkgsrc-2024Q2-base:1.6
	pkgsrc-2024Q1:1.6.0.6
	pkgsrc-2024Q1-base:1.6
	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
@@