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

Add NetBSD support

--- src/gnatprove/spark_report.adb.orig	2023-01-05 11:22:11.000000000 +0200
+++ src/gnatprove/spark_report.adb
@@@@ -1086,6 +1086,7 @@@@
              when X86_Linux   | X86_64_Linux   => "Linux",
              when X86_64_Darwin                => "Darwin",
              when X86_64_FreeBSD               => "FreeBSD",
+             when X86_64_NetBSD                => "NetBSD",
              when CodePeer_OS                  => "CodePeer OS",
              when AArch64_Darwin               => "Darwin");
 
@