# Buildsheet autogenerated by ravenadm tool -- Do not edit.

NAMEBASE=		AdaSAT
VERSION=		23.0.0
REVISION=		1
KEYWORDS=		math ada
VARIANTS=		standard
SDESC[standard]=	Implementation of a DPLL-based SAT solver in Ada
HOMEPAGE=		https://github.com/AdaCore/AdaSAT
CONTACT=		John_Marino[draco@marino.st]

DOWNLOAD_GROUPS=	main
SITES[main]=		GITHUB/AdaCore:AdaSAT:f948e22
DISTFILE[1]=		generated:main
DF_INDEX=		1
SPKGS[standard]=	complete
			primary
			dev

OPTIONS_AVAILABLE=	none
OPTIONS_STANDARD=	none

USES=			gprbuild gmake ada:primary

LICENSE=		APACHE20:primary
LICENSE_TERMS=		primary:{{WRKDIR}}/TERMS
LICENSE_FILE=		APACHE20:{{WRKSRC}}/LICENSE
LICENSE_AWK=		TERMS:"^$$"
LICENSE_SOURCE=		TERMS:{{WRKSRC}}/src/adasat.ads
LICENSE_SCHEME=		solo

BUILD_TARGET=		all-libs
MAKE_ARGS=		BUILD_MODE=dev
			PROCESSORS={{MAKE_JOBS_NUMBER}}
			INSTALL_DIR={{STAGEDIR}}{{PREFIX}}

INSTALL_REQ_TOOLCHAIN=	yes
SOVERSION=		23.0.0

post-install:
	# remove manifests
	${RM} -r ${STAGEDIR}${PREFIX}/share/gpr/manifests
	# strip binaries
	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/adasat.relocatable/libadasat.so

pre-configure:
	${REINPLACE_CMD} -e 's|%%SOVERSION%%|23.0.0|' ${WRKSRC}/adasat.gpr

[FILE:197:descriptions/desc.primary]
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


[FILE:108:distinfo]
053c36a2f7c47646fde2c29c90979ecfd74ffc452416e3ed5ed966f47fbeec07        29217 AdaCore-AdaSAT-f948e22.tar.gz


[FILE:81:manifests/plist.primary]
lib/libadasat.so.%%SOVERSION%%
lib/adasat.relocatable/libadasat.so.%%SOVERSION%%


[FILE:1665:manifests/plist.dev]
include/adasat.relocatable/
 adasat-builders.adb
 adasat-builders.ads
 adasat-decisions.adb
 adasat-decisions.ads
 adasat-dpll.adb
 adasat-dpll.ads
 adasat-formulas.adb
 adasat-formulas.ads
 adasat-helpers.adb
 adasat-helpers.ads
 adasat-internals.ads
 adasat-theory.ads
 adasat-vectors.adb
 adasat-vectors.ads
 adasat.adb
 adasat.ads
include/adasat.static/
 adasat-builders.adb
 adasat-builders.ads
 adasat-decisions.adb
 adasat-decisions.ads
 adasat-dpll.adb
 adasat-dpll.ads
 adasat-formulas.adb
 adasat-formulas.ads
 adasat-helpers.adb
 adasat-helpers.ads
 adasat-internals.ads
 adasat-theory.ads
 adasat-vectors.adb
 adasat-vectors.ads
 adasat.adb
 adasat.ads
include/adasat.static-pic/
 adasat-builders.adb
 adasat-builders.ads
 adasat-decisions.adb
 adasat-decisions.ads
 adasat-dpll.adb
 adasat-dpll.ads
 adasat-formulas.adb
 adasat-formulas.ads
 adasat-helpers.adb
 adasat-helpers.ads
 adasat-internals.ads
 adasat-theory.ads
 adasat-vectors.adb
 adasat-vectors.ads
 adasat.adb
 adasat.ads
lib/libadasat.so
lib/adasat.relocatable/
 adasat-builders.ali
 adasat-decisions.ali
 adasat-dpll.ali
 adasat-formulas.ali
 adasat-helpers.ali
 adasat-internals.ali
 adasat-theory.ali
 adasat-vectors.ali
 adasat.ali
 libadasat.so
lib/adasat.static/
 adasat-builders.ali
 adasat-decisions.ali
 adasat-dpll.ali
 adasat-formulas.ali
 adasat-helpers.ali
 adasat-internals.ali
 adasat-theory.ali
 adasat-vectors.ali
 adasat.ali
 libadasat.a
lib/adasat.static-pic/
 adasat-builders.ali
 adasat-decisions.ali
 adasat-dpll.ali
 adasat-formulas.ali
 adasat-helpers.ali
 adasat-internals.ali
 adasat-theory.ali
 adasat-vectors.ali
 adasat.ali
 libadasat.a
share/gpr/adasat.gpr


[FILE:443:patches/patch-adasat.gpr]
--- adasat.gpr.orig	2023-01-20 13:54:21 UTC
+++ adasat.gpr
@@ -12,6 +12,7 @@ library project AdaSAT is
    for Library_Dir use "lib/" & Library_Kind_Param & "/" & Build_Mode;
    for Object_Dir use "obj/" & Library_Kind_Param & "/" & Build_Mode;
    for Library_Name use "adasat";
+   for Library_Version use "libadasat.so.%%SOVERSION%%";
    for Library_Kind use Library_Kind_Param;
 
    Common_Ada_Cargs := ("-gnatwa", "-gnatyg", "-fPIC");