head	1.3;
access;
symbols
	pkgsrc-2026Q1:1.3.0.6
	pkgsrc-2026Q1-base:1.3
	pkgsrc-2025Q4:1.3.0.4
	pkgsrc-2025Q4-base:1.3
	pkgsrc-2025Q3:1.3.0.2
	pkgsrc-2025Q3-base:1.3;
locks; strict;
comment	@# @;


1.3
date	2025.09.13.05.51.05;	author dkazankov;	state Exp;
branches;
next	1.2;
commitid	8LoQKkrSLPTS0waG;

1.2
date	2025.09.09.09.15.52;	author dkazankov;	state Exp;
branches;
next	1.1;
commitid	JFuq8rwMJh37h1aG;

1.1
date	2025.07.28.06.52.41;	author dkazankov;	state Exp;
branches;
next	;
commitid	VOI6TrItc2IGRt4G;


desc
@@


1.3
log
@ada-sparklib-14: add superseded package after binary package rename
@
text
@# $NetBSD: Makefile,v 1.2 2025/09/09 09:15:52 dkazankov Exp $

DISTNAME=	${GITHUB_PROJECT}-fsf-14
PKGNAME=	sparklib14-14.0.0
CATEGORIES=	devel
MASTER_SITES=	${MASTER_SITE_GITHUB:=AdaCore/}
GITHUB_PROJECT=	SPARKlib
GITHUB_TAG=	fsf-14
DISTFILES=	${DEFAULT_DISTFILES}

MAINTAINER=	dkazankov@@NetBSD.org
HOMEPAGE=	https://github.com/AdaCore/SPARKlib
COMMENT=	SPARKlib libraries, FSF release 14
LICENSE=	apache-2.0

SUPERSEDES+=	sparklib-14-14.*

USE_LANGUAGES=	c ada

USE_TOOLS+=	gmake gsed

.include "../../mk/bsd.prefs.mk"

GCC_REQD+=	14

BUILD_TARGET=	generate

INSTALLATION_DIRS+=	${GNAT_PREFIX}/include/spark
INSTALLATION_DIRS+=	${GNAT_PREFIX}/lib/gnat

do-install:
	${RUN} cd ${WRKSRC} && \
	${INSTALL_LIB} src/*.ad? ${DESTDIR}${GNAT_PREFIX}/include/spark && \
	${INSTALL_LIB} *.gpr ${DESTDIR}${GNAT_PREFIX}/lib/gnat && \
	${FIND} -f proof \( -type d \) -exec ${INSTALL_LIB_DIR} "${DESTDIR}${GNAT_PREFIX}/lib/gnat/{}" ";" && \
	${FIND} -f proof \( -type f -or -type l \) -exec ${INSTALL_LIB} "{}" "${DESTDIR}${GNAT_PREFIX}/lib/gnat/{}" ";"

GENERATE_PLIST+= \
	cd ${DESTDIR}${PREFIX} && \
	${FIND} ${GNAT_PKGBASE} \( -type f -or -type l \) -print | ${SORT};

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


1.2
log
@ada-sparklib-14: some pkglinting, binary package renamed
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.1 2025/07/28 06:52:41 dkazankov Exp $
d16 2
@


1.1
log
@devel/ada-sparklib-14: add new package 14.0.0

SPARKlib contains various libraries, such as a wide range of containers,
as well as lemmas to use directly in user code.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.2 2024/05/31 14:00:00 dkazankov Exp $
d4 1
a4 1
PKGNAME=	sparklib-14-14.0.0
d26 3
d31 4
a34 5
	${MKDIR} ${DESTDIR}${GNAT_PREFIX}/include/spark && \
	${MKDIR} ${DESTDIR}${GNAT_PREFIX}/lib/gnat && \
	${CP} -pr src/*.ad? ${DESTDIR}${GNAT_PREFIX}/include/spark && \
	${CP} -pr *.gpr ${DESTDIR}${GNAT_PREFIX}/lib/gnat && \
	${CP} -pr proof ${DESTDIR}${GNAT_PREFIX}/lib/gnat
@