CVS commit: pkgsrc/math/lean4
"Thomas Klausner" <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.cvs |
|---|---|
| Message-ID | <[email protected]> |
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.
(unnamed)
(text/x-diff, 807 B)
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