head	1.6;
access;
symbols
	pkgsrc-2026Q3:1.4.0.2
	pkgsrc-2026Q3-base:1.4;
locks; strict;
comment	@# @;


1.6
date	2026.11.08.16.01.00;	author wiz;	state Exp;
branches;
next	1.5;
commitid	71cpUSRkKkb2RF2H;

1.5
date	2026.11.08.13.51.53;	author alnsn;	state Exp;
branches;
next	1.4;
commitid	8pt01FmST4nu8F2H;

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.6
log
@cadical: fix LDFLAGS workaround properly.

Bump PKGREVISION.
@
text
@# $NetBSD: Makefile,v 1.5 2026/11/08 13:51:53 alnsn Exp $

DISTNAME=	cadical-2.1.3
PKGREVISION=	2
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 lib/pkgconfig

SUBST_CLASSES+=		pc
SUBST_STAGE.pc=		pre-configure
SUBST_MESSAGE.pc=	Set prefix and version in cadical.pc.
SUBST_FILES.pc=		cadical.pc
SUBST_VARS.pc=		PREFIX PKGVERSION_NOREV

# LDFLAGS are ignored, but this works
# https://github.com/arminbiere/cadical/pull/88#issuecomment-5073528194
CONFIGURE_ARGS+=	${LDFLAGS}

post-extract:
	${CP} ${FILESDIR}/cadical.pc ${WRKSRC}/cadical.pc

do-install:
	${INSTALL_DATA} ${WRKSRC}/cadical.pc ${DESTDIR}${PREFIX}/lib/pkgconfig
	${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

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


1.5
log
@Add pkg-config file for upcoming math/bitwuzla import.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.4 2026/08/04 20:29:06 wiz Exp $
d4 1
a4 1
PKGREVISION=	1
d29 4
a42 6
# 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}

@


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
@d1 1
a1 1
# $NetBSD: Makefile,v 1.3 2026/07/24 18:37:35 wiz Exp $
d4 1
d21 10
a30 1
INSTALLATION_DIRS=	bin include/cadical lib
d33 1
@


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
@