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