head	1.1;
access;
symbols
	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 $

Make gprbuild options settable

--- gnat2why/Makefile.orig	2024-01-11 17:55:20.000000000 +0200
+++ gnat2why/Makefile
@@@@ -2,6 +2,7 @@@@
 # This makefile assumes that it executed from the backend directory.
 
 GPRBUILD=gprbuild
+GPRBUILD_OPTIONS=-j$(PROCS) -cargs $(CFLAGS) -largs $(LDFLAGS)
 
 # number of processors
 PROCS=0
@@@@ -72,7 +73,7 @@@@
 	mv $(GEN_IL_FILES) ../obj
 
 build: setup force
-	$(GPRBUILD) $(GPRARGS) $(COVERAGEARGS) -Pgnat2why -j$(PROCS) -cargs ${CFLAGS} -largs $(LDFLAGS)
+	$(GPRBUILD) $(GPRARGS) $(COVERAGEARGS) -Pgnat2why $(GPRBUILD_OPTIONS)
 
 # Compilation and linking settings for coverage and profiling; for details see
 # "Code Coverage and Profiling" in GNAT User's Guide.
@