CVS commit: pkgsrc/math/symfpu

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Thu Jul  2 19:34:02 UTC 2026

Added Files:
        pkgsrc/math/symfpu: DESCR Makefile PLIST buildlink3.mk distinfo
        pkgsrc/math/symfpu/patches: patch-Makefile patch-baseTypes_Makefile
            patch-baseTypes_simpleExecutable.cpp
            patch-baseTypes_simpleExecutable.h

Log Message:
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.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/symfpu/DESCR pkgsrc/math/symfpu/Makefile \
    pkgsrc/math/symfpu/PLIST pkgsrc/math/symfpu/buildlink3.mk \
    pkgsrc/math/symfpu/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/math/symfpu/patches/patch-Makefile \
    pkgsrc/math/symfpu/patches/patch-baseTypes_Makefile \
    pkgsrc/math/symfpu/patches/patch-baseTypes_simpleExecutable.cpp \
    pkgsrc/math/symfpu/patches/patch-baseTypes_simpleExecutable.h

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/math/symfpu/DESCR
diff -u /dev/null pkgsrc/math/symfpu/DESCR:1.1
--- /dev/null   Thu Jul  2 19:34:02 2026
+++ pkgsrc/math/symfpu/DESCR    Thu Jul  2 19:34:01 2026
@@ -0,0 +1,4 @@
+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.
Index: pkgsrc/math/symfpu/Makefile
diff -u /dev/null pkgsrc/math/symfpu/Makefile:1.1
--- /dev/null   Thu Jul  2 19:34:02 2026
+++ pkgsrc/math/symfpu/Makefile Thu Jul  2 19:34:01 2026
@@ -0,0 +1,30 @@
+# $NetBSD: Makefile,v 1.1 2026/07/02 19:34:01 alnsn Exp $
+
+DISTNAME=      symfpu-1.2.0
+CATEGORIES=    math
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=martin-cs/}
+GITHUB_TAG=    symfpu-${PKGVERSION_NOREV}-dual-license
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+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=     include/symfpu/core include/symfpu/utils lib
+
+do-install:
+       ${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"
Index: pkgsrc/math/symfpu/PLIST
diff -u /dev/null pkgsrc/math/symfpu/PLIST:1.1
--- /dev/null   Thu Jul  2 19:34:02 2026
+++ pkgsrc/math/symfpu/PLIST    Thu Jul  2 19:34:01 2026
@@ -0,0 +1,20 @@
+@comment $NetBSD: PLIST,v 1.1 2026/07/02 19:34:01 alnsn Exp $
+include/symfpu/core/add.h
+include/symfpu/core/classify.h
+include/symfpu/core/compare.h
+include/symfpu/core/convert.h
+include/symfpu/core/divide.h
+include/symfpu/core/fma.h
+include/symfpu/core/ite.h
+include/symfpu/core/multiply.h
+include/symfpu/core/operations.h
+include/symfpu/core/packing.h
+include/symfpu/core/remainder.h
+include/symfpu/core/rounder.h
+include/symfpu/core/sign.h
+include/symfpu/core/sqrt.h
+include/symfpu/core/unpackedFloat.h
+include/symfpu/utils/common.h
+include/symfpu/utils/numberOfRoundingModes.h
+include/symfpu/utils/properties.h
+lib/symfpu.a
Index: pkgsrc/math/symfpu/buildlink3.mk
diff -u /dev/null pkgsrc/math/symfpu/buildlink3.mk:1.1
--- /dev/null   Thu Jul  2 19:34:02 2026
+++ pkgsrc/math/symfpu/buildlink3.mk    Thu Jul  2 19:34:01 2026
@@ -0,0 +1,13 @@
+# $NetBSD: buildlink3.mk,v 1.1 2026/07/02 19:34:01 alnsn Exp $
+
+BUILDLINK_TREE+=       symfpu
+
+.if !defined(SYMFPU_BUILDLINK3_MK)
+SYMFPU_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.symfpu+= symfpu>=1.2.0
+BUILDLINK_ABI_DEPENDS.symfpu+= symfpu>=1.2.0
+BUILDLINK_PKGSRCDIR.symfpu?=   ../../math/symfpu
+.endif # SYMFPU_BUILDLINK3_MK
+
+BUILDLINK_TREE+=       -symfpu
Index: pkgsrc/math/symfpu/distinfo
diff -u /dev/null pkgsrc/math/symfpu/distinfo:1.1
--- /dev/null   Thu Jul  2 19:34:02 2026
+++ pkgsrc/math/symfpu/distinfo Thu Jul  2 19:34:01 2026
@@ -0,0 +1,9 @@
+$NetBSD: distinfo,v 1.1 2026/07/02 19:34:01 alnsn Exp $
+
+BLAKE2s (symfpu-1.2.0.tar.gz) = d3112f3c7745be00c593d9bf895542aa36fc22c2ce1fca28ef03c5593024bd3e
+SHA512 (symfpu-1.2.0.tar.gz) = 0c441c37e9ccc5f25d3df0f7fbfe4d8efeb63eb6e4ece290fb6d4429fb3080ded5bdbf152d46fc1d93e493d8b0690ac11b7859e8579434d617ae98dd72f05b5b
+Size (symfpu-1.2.0.tar.gz) = 81162 bytes
+SHA1 (patch-Makefile) = bdf46bf30bee933ab0f55eb2bcfeaa03d6820f87
+SHA1 (patch-baseTypes_Makefile) = 339079979c54d572cf63ccec98e6b0579b3e629a
+SHA1 (patch-baseTypes_simpleExecutable.cpp) = b3434edd922cb0083e6fe3d99042e444c260429f
+SHA1 (patch-baseTypes_simpleExecutable.h) = f1923b4650c2dceee1dbb968c2a13a37e0808628

Index: pkgsrc/math/symfpu/patches/patch-Makefile
diff -u /dev/null pkgsrc/math/symfpu/patches/patch-Makefile:1.1
--- /dev/null   Thu Jul  2 19:34:02 2026
+++ pkgsrc/math/symfpu/patches/patch-Makefile   Thu Jul  2 19:34:01 2026
@@ -0,0 +1,13 @@
+$NetBSD: patch-Makefile,v 1.1 2026/07/02 19:34:01 alnsn Exp $
+
+Skip applications.
+
+--- Makefile.orig      2026-07-01 22:07:24.471021064 +0000
++++ Makefile
+@@ -1,5 +1,5 @@
+ include flags
+-SUBDIRS=applications/ baseTypes/
++SUBDIRS=baseTypes/
+ OBJECTFILES=baseTypes/simpleExecutable.o
+ LIBFILES=symfpu.a
+ PROGS=test
Index: pkgsrc/math/symfpu/patches/patch-baseTypes_Makefile
diff -u /dev/null pkgsrc/math/symfpu/patches/patch-baseTypes_Makefile:1.1
--- /dev/null   Thu Jul  2 19:34:02 2026
+++ pkgsrc/math/symfpu/patches/patch-baseTypes_Makefile Thu Jul  2 19:34:01 2026
@@ -0,0 +1,13 @@
+$NetBSD: patch-baseTypes_Makefile,v 1.1 2026/07/02 19:34:01 alnsn Exp $
+
+Don't assume that the root directory is named "symfpu".
+
+--- baseTypes/Makefile.orig    2026-07-01 22:10:52.161950683 +0000
++++ baseTypes/Makefile
+@@ -1,5 +1,5 @@
+ include ../flags
+-CXXFLAGS+=-I../../
++CXXFLAGS+=-I..
+ ALL=simpleExecutable.o
+ 
+ .PHONY : all
Index: pkgsrc/math/symfpu/patches/patch-baseTypes_simpleExecutable.cpp
diff -u /dev/null pkgsrc/math/symfpu/patches/patch-baseTypes_simpleExecutable.cpp:1.1
--- /dev/null   Thu Jul  2 19:34:02 2026
+++ pkgsrc/math/symfpu/patches/patch-baseTypes_simpleExecutable.cpp     Thu Jul  2 19:34:02 2026
@@ -0,0 +1,15 @@
+$NetBSD: patch-baseTypes_simpleExecutable.cpp,v 1.1 2026/07/02 19:34:02 alnsn Exp $
+
+Don't assume that the root directory is named "symfpu".
+
+--- baseTypes/simpleExecutable.cpp.orig        2026-07-01 22:11:25.492879747 +0000
++++ baseTypes/simpleExecutable.cpp
+@@ -12,7 +12,7 @@
+ */
+ 
+ 
+-#include "symfpu/baseTypes/simpleExecutable.h"
++#include "baseTypes/simpleExecutable.h"
+ 
+ #include <assert.h>
+ #include <math.h>
Index: pkgsrc/math/symfpu/patches/patch-baseTypes_simpleExecutable.h
diff -u /dev/null pkgsrc/math/symfpu/patches/patch-baseTypes_simpleExecutable.h:1.1
--- /dev/null   Thu Jul  2 19:34:02 2026
+++ pkgsrc/math/symfpu/patches/patch-baseTypes_simpleExecutable.h       Thu Jul  2 19:34:02 2026
@@ -0,0 +1,19 @@
+$NetBSD: patch-baseTypes_simpleExecutable.h,v 1.1 2026/07/02 19:34:02 alnsn Exp $
+
+Don't assume that the root directory is named "symfpu".
+
+--- baseTypes/simpleExecutable.h.orig  2026-07-01 22:11:10.431642930 +0000
++++ baseTypes/simpleExecutable.h
+@@ -18,9 +18,9 @@
+ **
+ */
+ 
+-#include "symfpu/utils/properties.h"
+-#include "symfpu/core/ite.h"
+-#include "symfpu/baseTypes/shared.h"
++#include "utils/properties.h"
++#include "core/ite.h"
++#include "baseTypes/shared.h"
+ 
+ #include <assert.h>
+ #include <stdint.h>