head 1.5; access; symbols pkgsrc-2026Q2:1.5.0.4 pkgsrc-2026Q2-base:1.5 pkgsrc-2026Q1:1.5.0.2 pkgsrc-2026Q1-base:1.5 pkgsrc-2025Q4:1.3.0.2 pkgsrc-2025Q4-base:1.3 pkgsrc-2025Q3:1.2.0.2 pkgsrc-2025Q3-base:1.2; locks; strict; comment @# @; 1.5 date 2026.03.01.12.38.35; author gdt; state Exp; branches; next 1.4; commitid xaHXyYFajPgHPgwG; 1.4 date 2026.02.17.13.39.10; author wiz; state Exp; branches; next 1.3; commitid pkhLiUCry2inyJuG; 1.3 date 2025.10.12.08.46.47; author dkazankov; state Exp; branches; next 1.2; commitid jmNLLZZmAD8n3geG; 1.2 date 2025.07.29.13.14.58; author dkazankov; state Exp; branches; next 1.1; commitid VvfC64swaYyQWD4G; 1.1 date 2025.07.28.07.00.55; author dkazankov; state Exp; branches; next ; commitid prC30pPNC6RvUt4G; desc @@ 1.5 log @*: revbump for lang/ocaml micro (security) update @ text @# $NetBSD: Makefile,v 1.4 2026/02/17 13:39:10 wiz Exp $ DISTNAME= ${GITHUB_PROJECT}-fsf-14 PKGNAME= ${GITHUB_PROJECT}-14-14.2.0 PKGREVISION= 3 CATEGORIES= lang devel MASTER_SITES= ${MASTER_SITE_GITHUB:=AdaCore/} GITHUB_PROJECT= spark2014 GITHUB_TAG= fsf-14 DISTFILES= ${DEFAULT_DISTFILES} MAINTAINER= dkazankov@@NetBSD.org HOMEPAGE= https://github.com/AdaCore/spark2014 COMMENT= SPARK 2014 toolset, FSF release 14 LICENSE= gnu-gpl-v3 USE_LANGUAGES= c ada USE_TOOLS+= gmake HAS_CONFIGURE= yes CHECK_PIE_SKIP+= gcc14-gnat/bin/* GITHUB_SUBMODULES+= AdaCore why3 fsf-14 why3 # Do not use GNAT 14.3 sources GCC_DISTNAME= gcc-${PKGVERSION_NOREV} GCC_EXTRACT_SUFFIX= .tar.xz GCC_DISTFILE= ${GCC_DISTNAME}${GCC_EXTRACT_SUFFIX} DISTFILES+= ${GCC_DISTFILE} MASTER_SITES+= ${MASTER_SITE_GNU:=gcc/${GCC_DISTNAME}/} .include "../../mk/bsd.prefs.mk" GCC_REQD+= 14 CONFIG_SHELL= ${MAKE_PROGRAM} CONFIGURE_ARGS+= DESTDIR=${DESTDIR} PREFIX=${PREFIX}/gcc14-gnat CONFIGURE_SCRIPT= setup MAKE_FLAGS+= DESTDIR=${DESTDIR} PREFIX=${PREFIX}/gcc14-gnat INSTALL_TARGET= install-all SUBST_CLASSES+= version SUBST_MESSAGE.version= Replace version in ${SUBST_FILES.version} SUBST_STAGE.version= pre-configure SUBST_FILES.version= Makefile spark2014vsn.ads SUBST_SED.version= -e "s,0.0w,FSF 14.0," .if ${OPSYS} == "NetBSD" SUBST_CLASSES+= sha256 SUBST_MESSAGE.sha256= Replace sha256sum in ${SUBST_FILES.sha256} SUBST_STAGE.sha256= pre-configure SUBST_FILES.sha256= Makefile SUBST_SED.sha256= -e "s,sha256sum,sha256 -n," SUBST_CLASSES+= install SUBST_MESSAGE.install= Remove -C in ${SUBST_FILES.install} SUBST_STAGE.install= pre-configure SUBST_FILES.install= why3/Makefile.in SUBST_SED.install= -e "s,do install -C,do install," SUBST_CLASSES+= interpreter SUBST_STAGE.interpreter= pre-configure SUBST_FILES.interpreter= benchmark_script/* SUBST_MESSAGE.interpreter= Fix interpreter in ${SUBST_FILES.interpreter} SUBST_SED.interpreter= -e 's,/bin/bash,/bin/sh,g' .endif post-extract: # Link GNAT sources to main build tree ${RUN} cd ${WRKDIR}/${GITHUB_PROJECT}-${GITHUB_TAG} \ && ${LN} -s ../../${GCC_DISTNAME}/gcc/ada gnat2why/gnat_src post-install: # Fix group write mode cd ${DESTDIR}${PREFIX} && \ ${CHMOD} -R -P g-w ./* GENERATE_PLIST+= \ cd ${DESTDIR}${PREFIX} && \ ${FIND} gcc14-gnat \( -type f -or -type l \) -print | ${SORT}; .include "../../devel/gprbuild/buildlink3.mk" .include "../../textproc/ada-xmlada-25/buildlink3.mk" .include "../../math/ada-adasat-25/buildlink3.mk" .include "../../devel/ada-libgpr-25/buildlink3.mk" .include "../../devel/ada-gnatcoll-core-25/buildlink3.mk" .include "../../devel/ada-gnatcoll-bindings-25/buildlink3.mk" .include "../../devel/ada-libgpr2-25/buildlink3.mk" .include "../../lang/python/tool.mk" OCAML_SRC= ${WRKSRC}/why3 BUILDLINK_DEPMETHOD.ocaml= build .include "../../lang/ocaml/ocaml.mk" BUILDLINK_DEPMETHOD.menhir= build .include "../../devel/menhir/buildlink3.mk" BUILDLINK_DEPMETHOD.ocaml-num= build .include "../../math/ocaml-num/buildlink3.mk" BUILDLINK_DEPMETHOD.ocamlgraph= build .include "../../devel/ocamlgraph/buildlink3.mk" BUILDLINK_DEPMETHOD.ocaml-re= build .include "../../devel/ocaml-re/buildlink3.mk" BUILDLINK_DEPMETHOD.ocaml-seq= build .include "../../devel/ocaml-seq/buildlink3.mk" BUILDLINK_DEPMETHOD.ocaml-yojson= build .include "../../devel/ocaml-yojson/buildlink3.mk" BUILDLINK_DEPMETHOD.ocaml-zarith= build .include "../../math/ocaml-zarith/buildlink3.mk" BUILDLINK_DEPMETHOD.ocaml-sexplib= build .include "../../devel/ocaml-sexplib/buildlink3.mk" BUILDLINK_DEPMETHOD.ocaml-ppx_sexp_conv= build .include "../../devel/ocaml-ppx_sexp_conv/buildlink3.mk" BUILDLINK_DEPMETHOD.ocaml-ppx_deriving= build .include "../../devel/ocaml-ppx_deriving/buildlink3.mk" # libgpr2 dependencies .include "../../devel/gmp/buildlink3.mk" .include "../../converters/libiconv/buildlink3.mk" .include "../../mk/pthread.buildlink3.mk" .include "../../mk/bsd.pkg.mk" @ 1.4 log @*: recursive bump for ocaml-dune becoming a build dependency @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.3 2025/10/12 08:46:47 dkazankov Exp $ d5 1 a5 1 PKGREVISION= 2 @ 1.3 log @spark2014-14: bump revision after libraries update @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.2 2025/07/29 13:14:58 dkazankov Exp $ d5 1 a5 1 PKGREVISION= 1 @ 1.2 log @spark2014-14: try to fix module download error in bulk build @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.1 2025/07/28 07:00:55 dkazankov Exp $ d5 1 a86 3 #BUILDLINK_DEPMETHOD.sparklib-14= full #.include "../../devel/ada-sparklib-14/buildlink3.mk" a123 11 #BUILDLINK_DEPMETHOD.ocaml-base= build #.include "../../devel/ocaml-base/buildlink3.mk" #BUILDLINK_DEPMETHOD.ocaml-sexplib0= build #.include "../../devel/ocaml-sexplib0/buildlink3.mk" #BUILDLINK_DEPMETHOD.ocaml-parsexp= build #.include "../../devel/ocaml-parsexp/buildlink3.mk" #BUILDLINK_DEPMETHOD.ocaml-zip= build #.include "../../archivers/ocaml-zip/buildlink3.mk" #BUILDLINK_DEPMETHOD.ocaml-ocplib-simplex= build #.include "../../math/ocaml-ocplib-simplex/buildlink3.mk" a125 1 USE_GNU_ICONV= yes @ 1.1 log @lang/spark2014-14: add new package 14.2.0 SPARK 2014 toolset, FSF release 14 @ text @d1 1 a1 1 # $NetBSD: Makefile,v 1.2 2024/05/31 14:00:00 dkazankov Exp $ d24 1 a24 1 GITHUB_SUBMODULES+= AdaCore why3 fb4ca6cd8c7d888d3e8d281e6de87c66ec20f084 why3 @