math/adasat: Add 25.0.0

[Dmytro Kazankov (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Dmytro Kazankov <dmytro.kazankov%gmail.com@localhost>
Pushed By:	dkazankov
Date:		Wed Nov 27 23:51:42 2024 +0200
Changeset:	64a5eacb9cf97ff7fd19bb8144119efa00377a2e

Added Files:
	adasat/COMMIT_MSG
	adasat/DESCR
	adasat/Makefile
	adasat/PLIST
	adasat/buildlink3.mk
	adasat/distinfo
	adasat/patches/patch-Makefile

Log Message:
math/adasat: Add 25.0.0

* Implementation of a DPLL-based SAT solver in Ada

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=64a5eacb9cf97ff7fd19bb8144119efa00377a2e

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

diffstat:
 adasat/COMMIT_MSG             |  3 +++
 adasat/DESCR                  |  7 +++++++
 adasat/Makefile               | 38 ++++++++++++++++++++++++++++++++++++++
 adasat/PLIST                  |  1 +
 adasat/buildlink3.mk          | 20 ++++++++++++++++++++
 adasat/distinfo               |  6 ++++++
 adasat/patches/patch-Makefile | 24 ++++++++++++++++++++++++
 7 files changed, 99 insertions(+)

diffs:
diff --git a/adasat/COMMIT_MSG b/adasat/COMMIT_MSG
new file mode 100644
index 0000000000..919cac818a
--- /dev/null
+++ b/adasat/COMMIT_MSG
@@ -0,0 +1,3 @@
+math/adasat: Add new package 25.0.0
+
+Implementation of a DPLL-based SAT solver in Ada
diff --git a/adasat/DESCR b/adasat/DESCR
new file mode 100644
index 0000000000..b39e61419b
--- /dev/null
+++ b/adasat/DESCR
@@ -0,0 +1,7 @@
+Implementation of a DPLL-based SAT solver in Ada
+
+Main features:
+- Conflict analysis and backjumping
+- Two-watched literals scheme
+- Built-in support for At-Most-One constraints
+- Custom theories
diff --git a/adasat/Makefile b/adasat/Makefile
new file mode 100644
index 0000000000..0be3f23c81
--- /dev/null
+++ b/adasat/Makefile
@@ -0,0 +1,38 @@
+# $NetBSD: Makefile,v 1.0 2024/05/06 15:00:00 dkazankov Exp $
+
+PKGNAME=	adasat-25.0.0
+CATEGORIES=	math
+COMMENT=	Implementation of a DPLL-based SAT solver in Ada
+
+DISTNAME=	AdaSAT-${PKGVERSION_NOREV}
+MASTER_SITES=	${MASTER_SITE_GITHUB:=AdaCore/}
+GITHUB_TAG=	v${PKGVERSION_NOREV}
+GITHUB_PROJECT=	AdaSAT
+
+HOMEPAGE=	https://github.com/AdaCore/AdaSAT
+LICENSE=	apache-2.0
+
+USE_TOOLS+=	gmake
+
+CHECK_RELRO_SUPPORTED=	no
+
+.include "../../mk/bsd.prefs.mk"
+
+USE_LANGUAGES=	ada
+
+MAKE_FLAGS=	BUILD_MODE=prod
+BUILD_TARGET=	all-libs
+
+INSTALL_MAKE_FLAGS=	INSTALL_DIR=${DESTDIR}${PREFIX}
+
+GENERATE_PLIST+= \
+	cd ${DESTDIR}${PREFIX} && \
+	${FIND} include lib share \( -type f -or -type l \) -print | ${SORT};
+
+.include "../../wip/gcc14-gnat-libs/buildlink3.mk"
+
+.include "../../wip/gprbuild/buildlink3.mk"
+
+.include "../../wip/gcc14-gnat/gcc.mk"
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/adasat/PLIST b/adasat/PLIST
new file mode 100644
index 0000000000..9e85ff2fad
--- /dev/null
+++ b/adasat/PLIST
@@ -0,0 +1 @@
+@comment $NetBSD: PLIST,v 1.0 2024/05/13 11:00:00 dkazankov Exp $
diff --git a/adasat/buildlink3.mk b/adasat/buildlink3.mk
new file mode 100644
index 0000000000..7fa0e9f799
--- /dev/null
+++ b/adasat/buildlink3.mk
@@ -0,0 +1,20 @@
+# $NetBSD: buildlink3.mk,v 1.0 2024/05/14 09:30:00 dkazankov Exp $
+
+BUILDLINK_TREE+=	adasat
+
+.if !defined(ADASAT_BUILDLINK3_MK)
+ADASAT_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.adasat+=	adasat>=24.0
+BUILDLINK_PKGSRCDIR.adasat=	../../wip/adasat
+BUILDLINK_DEPMETHOD.adasat?=	build
+
+BUILDLINK_FILES.adasat=		include/adasat*/* lib/adasat*/*
+BUILDLINK_FILES.adasat+=	share/gpr/manifests/adasat share/gpr/adasat.gpr
+
+BUILDLINK_CONTENTS_FILTER.adasat=	\
+	${EGREP} '(include/.*\.ads$$|lib/.*\.ali$$|lib/.*\.a$$|share/gpr/manifests/.*|share/gpr/.*\.gpr$$)'
+
+.endif
+
+BUILDLINK_TREE+=	-adasat
diff --git a/adasat/distinfo b/adasat/distinfo
new file mode 100644
index 0000000000..eea878eb5f
--- /dev/null
+++ b/adasat/distinfo
@@ -0,0 +1,6 @@
+$NetBSD$
+
+BLAKE2s (AdaSAT-25.0.0.tar.gz) = 82395941685f2006742a211de0129b62097c90c87a47a93da9adbf1ca951f55a
+SHA512 (AdaSAT-25.0.0.tar.gz) = 7781a683c5aef9efa9a6b57e82070184c02d734fcf448aa5aa79d9aaa3b40d181d87d7487d9c204f7dcd584a3d2dc1c9ebc027e82b2532c3418c25a2395fd9af
+Size (AdaSAT-25.0.0.tar.gz) = 30707 bytes
+SHA1 (patch-Makefile) = f8986867042693ce6bacaaec240c73935376ac6b
diff --git a/adasat/patches/patch-Makefile b/adasat/patches/patch-Makefile
new file mode 100644
index 0000000000..8620f2d7a2
--- /dev/null
+++ b/adasat/patches/patch-Makefile
@@ -0,0 +1,24 @@
+$NetBSD: patch-Makefile,v 1.0 2024/08/12 23:00:00 dkazankov Exp $
+
+Add gprbuild options
+
+--- Makefile.orig	2023-09-26 17:17:06.000000000 +0300
++++ Makefile	2024-08-12 23:37:48.256042496 +0300
+@@ -4,6 +4,8 @@
+ BUILD_DIR ?= .
+ INSTALL_DIR ?= .
+ 
++GPRBUILD_OPTIONS ?= -p -j$(PROCESSORS)
++
+ ALL_LIBRARY_TYPES = static static-pic relocatable
+ 
+ .PHONY: lib
+@@ -16,7 +18,7 @@
+ .PHONY: all-libs
+ all-libs:
+ 	for kind in $(ALL_LIBRARY_TYPES) ; do \
+-		gprbuild -k -P adasat.gpr -p -j$(PROCESSORS) \
++		gprbuild -k -P adasat.gpr $(GPRBUILD_OPTIONS) \
+ 			--relocate-build-tree="$(BUILD_DIR)" \
+ 			-XLIBRARY_TYPE=$$kind \
+ 			-XBUILD_MODE=$(BUILD_MODE) ; \