head	1.2;
access;
symbols;
locks; strict;
comment	@# @;


1.2
date	2026.07.24.21.26.20;	author wiz;	state Exp;
branches;
next	1.1;
commitid	qCqdT6bIOr7V5XOG;

1.1
date	2026.07.24.18.39.20;	author wiz;	state Exp;
branches;
next	;
commitid	nN62qu9ZRD0EaWOG;


desc
@@


1.2
log
@lean4: add links to upstream pull request
@
text
@$NetBSD: patch-src_CMakeLists.txt,v 1.1 2026/07/24 18:39:20 wiz Exp $

Treat NetBSD like Linux.
https://github.com/leanprover/lean4/pull/14543

--- src/CMakeLists.txt.orig	2026-07-22 17:50:04.000000000 +0000
+++ src/CMakeLists.txt
@@@@ -502,7 +502,7 @@@@ set(LEANC_STATIC_LINKER_FLAGS " ${TOOLCHAIN_STATIC_LIN
 
 # flags for user binaries = flags for toolchain binaries + Lake
 set(LEANC_STATIC_LINKER_FLAGS " ${TOOLCHAIN_STATIC_LINKER_FLAGS} -lLake")
-if(CMAKE_SYSTEM_NAME MATCHES "Linux")
+if(CMAKE_SYSTEM_NAME MATCHES "Linux|NetBSD")
   set(LEANC_SHARED_LINKER_FLAGS " ${TOOLCHAIN_SHARED_LINKER_FLAGS} -Wl,--as-needed -lLake_shared -Wl,--no-as-needed")
 else()
   set(LEANC_SHARED_LINKER_FLAGS " ${TOOLCHAIN_SHARED_LINKER_FLAGS} -lLake_shared")
@@@@ -549,7 +549,7 @@@@ endif()
   string(APPEND LEAN_EXTRA_LINKER_FLAGS " -lm")
 endif()
 
-if(CMAKE_SYSTEM_NAME MATCHES "Linux")
+if(CMAKE_SYSTEM_NAME MATCHES "Linux|NetBSD")
   if(BSYMBOLIC)
     string(APPEND LEANC_SHARED_LINKER_FLAGS " -Wl,-Bsymbolic")
     string(APPEND TOOLCHAIN_SHARED_LINKER_FLAGS " -Wl,-Bsymbolic")
@


1.1
log
@math/lean4: import lean4-4.32.1

Lean is a proof assistant and a functional programming language.
It is based on the calculus of constructions with inductive types.
@
text
@d1 1
a1 1
$NetBSD$
d4 1
@