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.10.12.43.03;	author dkazankov;	state Exp;
branches;
next	;
commitid	z1RS4shiAdqKnc2G;


desc
@@


1.1
log
@lang/spark2014-13: Add new package version 13.3.0

SPARK 2014 toolset, FSF release 13.
A programming language, a verification toolset and a design method.
@
text
@$NetBSD: patch-gnatprove.gpr,v 1.0 2024/05/19 22:00:00 dkazankov Exp $

Add libpthread link on NetBSD

--- gnatprove.gpr.orig	2023-01-05 11:22:11.000000000 +0200
+++ gnatprove.gpr
@@@@ -61,6 +61,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 ("-lpthread");
+            for Default_Switches ("C") use ("-lpthread");
+            for Linker_Options use ("-lpthread");
          when others =>
             null;
       end case;
@