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-gnatprove.gpr,v 1.0 2024/05/19 22:00:00 dkazankov Exp $

Fix missing RELRO
Add librt link on NetBSD

--- gnatprove.gpr.orig	2023-01-05 11:22:11.000000000 +0200
+++ gnatprove.gpr
@@@@ -51,6 +51,8 @@@@
          when "Production" =>
             for Default_Switches ("Ada") use
                Common_Switches & ("-O2", "-gnatn");
+            for PIC_Option ("Ada") use ("-fPIC");
+            for PIC_Option ("C") use ("-fPIC");
          when "Coverage" =>
             --  We don't do coverage of gnatprove yet, only gnat2why
             null;
@@@@ -61,6 +63,10 @@@@
       case Target is
          when "x86-linux" | "x86_64-linux" =>
             for Default_Switches ("Ada") use ("-pthread");
+         when "x86_64-netbsd" =>
+            for Default_Switches ("Ada") use ("-lrt");
+            for Default_Switches ("C") use ("-lrt");
+            for Linker_Options use ("-lrt");
          when others =>
             null;
       end case;
@