(devel/frama-c) Adjust PKGNAME for replacing pkgsrc proper

[Makoto Fujiwara (mef) <makoto%ki.nu@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Makoto Fujiwara (mef) <makoto%ki.nu@localhost>
Pushed By:	mef
Date:		Mon Nov 15 07:43:26 2021 +0900
Changeset:	ec9bf52c6e10289b5cec166703f9443b7916c704

Modified Files:
	frama-c/Makefile

Log Message:
(devel/frama-c) Adjust PKGNAME for replacing pkgsrc proper

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=ec9bf52c6e10289b5cec166703f9443b7916c704

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

diffstat:
 frama-c/Makefile | 1 +
 1 file changed, 1 insertion(+)

diffs:
diff --git a/frama-c/Makefile b/frama-c/Makefile
index af93f28f9b..32bdc13756 100644
--- a/frama-c/Makefile
+++ b/frama-c/Makefile
@@ -2,6 +2,7 @@
 #
 
 DISTNAME=	Frama-C-snapshot-20.0
+PKGNAME=	${DISTNAME:S/-snapshot//:tl}
 CATEGORIES=	devel
 MASTER_SITES=	${MASTER_SITE_GITHUB:=Frama-C/}