head	1.2;
access;
symbols
	pkgsrc-2026Q3:1.1.0.2
	pkgsrc-2026Q3-base:1.1;
locks; strict;
comment	@# @;


1.2
date	2026.11.08.13.57.54;	author alnsn;	state Exp;
branches;
next	1.1;
commitid	TRU9I2GoeekN9F2H;

1.1
date	2026.07.02.19.34.01;	author alnsn;	state Exp;
branches;
next	;
commitid	T8GKuIjOhFd6b7MG;


desc
@@


1.2
log
@Add pkg-config file for upcoming math/bitwuzla import.

Note that symfpu.pc doesn't have the "Libs" line because
-lsymfpu doesn't work on symfpu.a and math/bitwuzla needs
only headers.
@
text
@# $NetBSD: Makefile,v 1.1 2026/07/02 19:34:01 alnsn Exp $

DISTNAME=	symfpu-1.2.0
PKGREVISION=	1
CATEGORIES=	math
MASTER_SITES=	${MASTER_SITE_GITHUB:=martin-cs/}
GITHUB_TAG=	symfpu-${PKGVERSION_NOREV}-dual-license

MAINTAINER=	pkgsrc-users@@NetBSD.org
HOMEPAGE=	https://github.com/martin-cs/symfpu/
COMMENT=	Implementation of IEEE-754 / SMT-LIB floating-point
LICENSE=	modified-bsd OR gnu-gpl-v3

# Only for Intel because symfpu.a is built with
# -msse2 -mfpmath=sse -mfma -mno-fma4.
# TODO Check status on other platforms.
ONLY_FOR_PLATFORM=	*-*-x86_64 *-*-i386

USE_LANGUAGES=	c c++
USE_TOOLS+=	gmake
MAKE_JOBS_SAFE=	no
BUILD_TARGET=	subdirs symfpu.a

INSTALLATION_DIRS=	lib lib/pkgconfig
INSTALLATION_DIRS+=	include/symfpu/core include/symfpu/utils

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

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

do-install:
	${INSTALL_DATA} ${WRKSRC}/symfpu.pc ${DESTDIR}${PREFIX}/lib/pkgconfig
	${INSTALL_DATA} ${WRKSRC}/core/*.h ${DESTDIR}${PREFIX}/include/symfpu/core
	${INSTALL_DATA} ${WRKSRC}/utils/*.h ${DESTDIR}${PREFIX}/include/symfpu/utils
	${INSTALL_DATA} ${WRKSRC}/symfpu.a ${DESTDIR}${PREFIX}/lib

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


1.1
log
@Initial import of math/symfpu version 1.2.0.

SymFPU is an implementation of the SMT-LIB theory of (IEEE-754)
floating-point in terms of bit-vector operations. It is templated
in terms of the bit-vectors, propositions, floating-point formats
and rounding mode types used.
@
text
@d1 1
a1 1
# $NetBSD$
d4 1
d24 11
a34 1
INSTALLATION_DIRS=	include/symfpu/core include/symfpu/utils lib
d37 1
@