head	1.4;
access;
symbols;
locks; strict;
comment	@# @;


1.4
date	2026.08.04.20.29.06;	author wiz;	state Exp;
branches;
next	1.3;
commitid	NqgRXEqcORbApmQG;

1.3
date	2026.07.24.18.37.35;	author wiz;	state Exp;
branches;
next	1.2;
commitid	eY5er63egeD2aWOG;

1.2
date	2026.06.30.22.52.48;	author alnsn;	state Exp;
branches;
next	1.1;
commitid	KkaGpnixwEBZjSLG;

1.1
date	2026.06.28.16.22.35;	author alnsn;	state Exp;
branches;
next	;
commitid	Y2fzSvsWOGDPeALG;


desc
@@


1.4
log
@*: add LDFLAGS overide that was previously in mk

This is a workaround and should be fixed properly per-package - they
should use the pkgsrc LDFLAGS, but this restores what happened
before the mk/ cleanup.

Fixes relro build for packages that do not honor LDFLAGS.

Package list provided by mef@@, thanks!

Workaround commit requested by bsiegert on tech-pkg.
@
text
@# $NetBSD: Makefile,v 1.3 2026/07/24 18:37:35 wiz Exp $

DISTNAME=	cadical-2.1.3
CATEGORIES=	math
MASTER_SITES=	${MASTER_SITE_GITHUB:=arminbiere/}
GITHUB_TAG=	rel-${PKGVERSION_NOREV}

MAINTAINER=	pkgsrc-users@@NetBSD.org
HOMEPAGE=	https://github.com/arminbiere/cadical/
COMMENT=	SAT Solver (v2)
LICENSE=	mit

WRKSRC=		${WRKDIR}/cadical-rel-${PKGVERSION_NOREV}
HAS_CONFIGURE=	yes
USE_LANGUAGES=	c c++
USE_TOOLS+=	gmake
MAKE_FILE=	makefile
TEST_TARGET=	test

INSTALLATION_DIRS=	bin include/cadical lib

do-install:
	${INSTALL_PROGRAM} ${WRKSRC}/build/cadical ${DESTDIR}${PREFIX}/bin
	${INSTALL_DATA} ${WRKSRC}/src/tracer.hpp ${DESTDIR}${PREFIX}/include/cadical
	${INSTALL_DATA} ${WRKSRC}/src/cadical.hpp ${DESTDIR}${PREFIX}/include/cadical
	${INSTALL_DATA} ${WRKSRC}/build/libcadical.a ${DESTDIR}${PREFIX}/lib

# FIXME: replace by proper LDFLAGS handling
_WRAP_EXTRA_ARGS.CC+=	${_RELRO_LDFLAGS}
_WRAP_EXTRA_ARGS.CXX+=	${_RELRO_LDFLAGS}
CWRAPPERS_PREPEND.cc+=	${_RELRO_LDFLAGS}
CWRAPPERS_PREPEND.cxx+=	${_RELRO_LDFLAGS}

.include "../../mk/bsd.pkg.mk"
@


1.3
log
@cadical: mention that this is v2
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.2 2026/06/30 22:52:48 alnsn Exp $
d28 6
@


1.2
log
@Downgrade a very recently added math/cadical to 2.1.3.

Version 3.0.0 isn't supported by cvc5:
  https://github.com/cvc5/cvc5/issues/12611

Make other changes to help cvc5 find cadical in /usr/pkg:
 - add tracer.hpp
 - move headers to include/cadical
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.1 2026/06/28 16:22:35 alnsn Exp $
d10 1
a10 1
COMMENT=	SAT Solver
@


1.1
log
@Import math/cadical from wip, update to 3.0.0, add TEST_TARGET.

The goal of the development of CaDiCaL was to obtain a CDCL solver,
which is easy to understand and change, while at the same time not
being much slower than other state-of-the-art CDCL solvers.
@
text
@d1 1
a1 1
# $NetBSD$
d3 1
a3 1
DISTNAME=	cadical-3.0.0
d20 1
a20 1
INSTALLATION_DIRS=	bin include lib
d24 2
a25 1
	${INSTALL_DATA} ${WRKSRC}/src/cadical.hpp ${DESTDIR}${PREFIX}/include
@