CVS commit: pkgsrc/devel/frama-c

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

Module Name:    pkgsrc
Committed By:   wiz
Date:           Sun Mar 23 22:08:53 UTC 2025

Modified Files:
        pkgsrc/devel/frama-c: Makefile

Log Message:
frama-c: mark as broken by why3 update


To generate a diff of this commit:
cvs rdiff -u -r1.124 -r1.125 pkgsrc/devel/frama-c/Makefile

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

Modified files:

Index: pkgsrc/devel/frama-c/Makefile
diff -u pkgsrc/devel/frama-c/Makefile:1.124 pkgsrc/devel/frama-c/Makefile:1.125
--- pkgsrc/devel/frama-c/Makefile:1.124 Fri Dec 27 08:19:32 2024
+++ pkgsrc/devel/frama-c/Makefile       Sun Mar 23 22:08:53 2025
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.124 2024/12/27 08:19:32 wiz Exp $
+# $NetBSD: Makefile,v 1.125 2025/03/23 22:08:53 wiz Exp $
 
 DISTNAME=      frama-c-25.0-Manganese
 PKGNAME=       ${DISTNAME:S/-Manganese//}
@@ -14,6 +14,8 @@ LICENSE=      gnu-lgpl-v2
 USE_TOOLS+=    autoconf bash gmake
 GNU_CONFIGURE= yes
 
+BROKEN=                "Broken by why3 update, updating to a newer version might fix it."
+
 REPLACE_SH+=           bin/frama-c-script
 REPLACE_SH+=           src/plugins/e-acsl/scripts/e-acsl-gcc.sh
 REPLACE_SH+=           share/analysis-scripts/*.sh