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


1.2
date	2026.07.24.20.27.54;	author wiz;	state Exp;
branches;
next	1.1;
commitid	Jbr7HOs8lg4TLWOG;

1.1
date	2026.07.24.18.38.00;	author wiz;	state Exp;
branches;
next	;
commitid	r5okAOFnTJkdaWOG;


desc
@@


1.2
log
@cadical3: use upstream suggestion for LDFLAGS handling
@
text
@# $NetBSD: Makefile,v 1.1 2026/07/24 18:38:00 wiz Exp $

DISTNAME=	cadical-3.0.1
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
LICENSE=	mit

WRKSRC=			${WRKDIR}/cadical-rel-${PKGVERSION_NOREV}
HAS_CONFIGURE=		yes
USE_LANGUAGES=		c c++
USE_CC_FEATURES=	c99
USE_CXX_FEATURES=	c++11
USE_TOOLS+=		gmake
MAKE_FILE=		makefile

INSTALLATION_DIRS=	bin include lib

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

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

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


1.1
log
@math/cadical3: import cadical-3.0.1

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$
d23 4
@