head	1.1;
access;
symbols
	pkgsrc-2026Q2:1.1.0.8
	pkgsrc-2026Q2-base:1.1
	pkgsrc-2026Q1:1.1.0.6
	pkgsrc-2026Q1-base:1.1
	pkgsrc-2025Q4:1.1.0.4
	pkgsrc-2025Q4-base:1.1
	pkgsrc-2025Q3:1.1.0.2
	pkgsrc-2025Q3-base:1.1;
locks; strict;
comment	@# @;


1.1
date	2025.07.28.07.00.55;	author dkazankov;	state Exp;
branches;
next	;
commitid	prC30pPNC6RvUt4G;


desc
@@


1.1
log
@lang/spark2014-14: add new package 14.2.0

SPARK 2014 toolset, FSF release 14
@
text
@$NetBSD: patch-Makefile,v 1.0 2024/05/13 10:30:00 dkazankov Exp $

Add options for gprbuild

--- Makefile.gnatprove.orig	2024-01-11 17:55:20.000000000 +0200
+++ Makefile.gnatprove
@@@@ -1,11 +1,12 @@@@
 # need to define this variable here, to allow overriding it when calling the
 # Makefile
 PROD=
+GPRBUILD_OPTIONS=
 
 all: build
 
 build:
-	gprbuild -p -j0 -P gnatprove.gpr $(PROD)
+	gprbuild -p -j0 -P gnatprove.gpr $(PROD) $(GPRBUILD_OPTIONS)
 
 codepeer-run:
 	gnatsas analyze -P gnatprove.gpr --no-gnat
@