Received: by mail.netbsd.org (Postfix, from userid 605) id 1A96C84D46; Sun, 20 Nov 2022 22:15:33 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id 4CCB684D39 for ; Sun, 20 Nov 2022 22:15:32 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.netbsd.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id ELVGmIIJxrZ1 for ; Sun, 20 Nov 2022 22:15:31 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.NetBSD.org [IPv6:2001:470:a085:999:28c:faff:fe03:5984]) by mail.netbsd.org (Postfix) with ESMTP id 98C3784CF9 for ; Sun, 20 Nov 2022 22:15:31 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 92A94FA90; Sun, 20 Nov 2022 22:15:31 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1668982531109630" MIME-Version: 1.0 Date: Sun, 20 Nov 2022 22:15:31 +0000 From: "Thomas Klausner" Subject: CVS commit: pkgsrc/devel/frama-c To: pkgsrc-changes@NetBSD.org Reply-To: wiz@netbsd.org X-Mailer: log_accum Message-Id: <20221120221531.92A94FA90@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1668982531109630 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" 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. --_----------=_1668982531109630 Content-Disposition: inline Content-Length: 1140 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii 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 --_----------=_1668982531109630--