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

Add NetBSD support

--- src/common/platform.ads.orig	2023-01-05 11:22:11.000000000 +0200
+++ src/common/platform.ads
@@@@ -30,7 +30,7 @@@@
 
    type Host_Operating_System_Flavor is
       (X86_Windows, X86_64_Windows, X86_Linux, X86_64_Linux, X86_64_Darwin,
-       X86_64_FreeBSD, CodePeer_OS, AArch64_Darwin);
+       X86_64_FreeBSD, CodePeer_OS, AArch64_Darwin, X86_64_NetBSD);
 
    function Get_OS_Flavor return Host_Operating_System_Flavor;
 
@