pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/frama-c frama-c: add missing tool dependency on ...
details: https://anonhg.NetBSD.org/pkgsrc/rev/8108c2823dd2
branches: trunk
changeset: 388460:8108c2823dd2
user: wiz <wiz%pkgsrc.org@localhost>
date: Sun Nov 20 22:15:31 2022 +0000
description:
frama-c: add missing tool dependency on bash
Replace interpreters in installed files.
Bump PKGREVISION.
diffstat:
devel/frama-c/Makefile | 14 +++++++++-----
1 files changed, 9 insertions(+), 5 deletions(-)
diffs (32 lines):
diff -r 22321d574321 -r 8108c2823dd2 devel/frama-c/Makefile
--- a/devel/frama-c/Makefile Sun Nov 20 20:17:53 2022 +0000
+++ b/devel/frama-c/Makefile Sun Nov 20 22:15:31 2022 +0000
@@ -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 @@
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