CVS commit: pkgsrc/math/lean4

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Fri Jul 24 21:27:47 UTC 2026

Modified Files:
        pkgsrc/math/lean4: Makefile

Log Message:
lean4: needs gnu99 for alloca()


To generate a diff of this commit:
cvs rdiff -u -r1.3 -r1.4 pkgsrc/math/lean4/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/lean4/Makefile
diff -u pkgsrc/math/lean4/Makefile:1.3 pkgsrc/math/lean4/Makefile:1.4
--- pkgsrc/math/lean4/Makefile:1.3      Fri Jul 24 18:42:07 2026
+++ pkgsrc/math/lean4/Makefile  Fri Jul 24 21:27:47 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.3 2026/07/24 18:42:07 wiz Exp $
+# $NetBSD: Makefile,v 1.4 2026/07/24 21:27:47 wiz Exp $
 
 DISTNAME=      lean4-4.32.1
 CATEGORIES=    math
@@ -17,7 +17,10 @@ DEPENDS+=    cadical>=3:../../math/cadical3
 USE_LANGUAGES= c c++
 USE_TOOLS+=    bash:run gmake pkg-config
 
+USE_CC_FEATURES=       c99
 USE_CXX_FEATURES=      c++20
+# for alloca()
+FORCE_C_STD=           gnu99
 
 # needed for stage0 tools that are called during build and installation
 MAKE_ENV+=     LD_LIBRARY_PATH=${WRKSRC}/${CMAKE_BUILD_DIR}/stage0/lib/lean:${WRKSRC}/${CMAKE_BUILD_DIR}/stage0/lib