pkgsrc-Changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
CVS commit: pkgsrc/devel/frama-c
Module Name: pkgsrc
Committed By: wiz
Date: Sun Nov 20 22:15:31 UTC 2022
Modified Files:
pkgsrc/devel/frama-c: Makefile
Log Message:
frama-c: add missing tool dependency on bash
Replace interpreters in installed files.
Bump PKGREVISION.
To generate a diff of this commit:
cvs rdiff -u -r1.105 -r1.106 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.105 pkgsrc/devel/frama-c/Makefile:1.106
--- pkgsrc/devel/frama-c/Makefile:1.105 Sun Oct 9 07:02:47 2022
+++ pkgsrc/devel/frama-c/Makefile Sun Nov 20 22:15:31 2022
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.105 2022/10/09 07:02:47 tonio Exp $
-#
+# $NetBSD: Makefile,v 1.106 2022/11/20 22:15:31 wiz Exp $
DISTNAME= frama-c-25.0-Manganese
PKGNAME= ${DISTNAME:S/-Manganese//}
+PKGREVISION= 1
CATEGORIES= devel
MASTER_SITES= https://frama-c.com/download/
@@ -11,10 +11,14 @@ HOMEPAGE= https://frama-c.com/
COMMENT= Extensible platform dedicated to source-code analysis of C software
LICENSE= gnu-lgpl-v2
-USE_TOOLS+= gmake autoconf
+USE_TOOLS+= autoconf bash gmake
GNU_CONFIGURE= yes
-REPLACE_SH= src/plugins/e-acsl/scripts/e-acsl-gcc.sh
-REPLACE_PYTHON= share/analysis-scripts/*.py
+
+REPLACE_SH+= bin/frama-c-script
+REPLACE_SH+= src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+REPLACE_SH+= share/analysis-scripts/*.sh
+REPLACE_PERL+= share/analysis-scripts/*.pl
+REPLACE_PYTHON+= share/analysis-scripts/*.py
OCAML_USE_FINDLIB= yes
Home |
Main Index |
Thread Index |
Old Index