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


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


desc
@@


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
@$NetBSD$

Provide anchor for SUBST_SED, to provide rpath flags.

--- src/Leanc.lean.orig	2026-07-22 17:50:04.000000000 +0000
+++ src/Leanc.lean
@@@@ -41,6 +41,7 @@@@ Interesting options:
   let mut cflagsInternal := getInternalCFlags root
   let mut ldflagsInternal := getInternalLinkerFlags root
   let mut ldflags := getLinkerFlags root linkStatic
+  ldflags := ldflags ++ #[@@LINKER_FLAGS@@]
   if System.Platform.isWindows && !args.contains "-shared" then
     ldflags := ldflags ++ #["-Wl,--whole-archive", "-lleanmanifest", "-Wl,--no-whole-archive"]
 
@