diff options
| author | sumikawa <sumikawa@FreeBSD.org> | 1999-09-28 16:23:03 +0000 |
|---|---|---|
| committer | sumikawa <sumikawa@FreeBSD.org> | 1999-09-28 16:23:03 +0000 |
| commit | dcd1a2626961b8bd5d8318c93916f2e7d00dd0a9 (patch) | |
| tree | 8deb83f9f0d7050fcffecf584da3b7d48f405636 | |
| parent | 9d3da981557f3b49de7090f0b74e704cf8dadd1d (diff) | |
| download | FreeBSD-ports-dcd1a2626961b8bd5d8318c93916f2e7d00dd0a9.zip FreeBSD-ports-dcd1a2626961b8bd5d8318c93916f2e7d00dd0a9.tar.gz | |
added the following checking:
"in *_DEPENDS, ${PREFIX} must not be used. use ${LOCALBASE}/${X11BASE}
instead of it."
Commented by: asami
Reviewed by: taoka
| -rw-r--r-- | devel/portlint/Makefile | 2 | ||||
| -rw-r--r-- | devel/portlint/src/portlint.pl | 8 | ||||
| -rw-r--r-- | ports-mgmt/portlint/Makefile | 2 | ||||
| -rw-r--r-- | ports-mgmt/portlint/src/portlint.pl | 8 |
4 files changed, 18 insertions, 2 deletions
diff --git a/devel/portlint/Makefile b/devel/portlint/Makefile index 714903b..f9e23f5 100644 --- a/devel/portlint/Makefile +++ b/devel/portlint/Makefile @@ -6,7 +6,7 @@ # $FreeBSD$ # -DISTNAME= portlint-2.0 +DISTNAME= portlint-2.1 CATEGORIES= devel DISTFILES= #empty diff --git a/devel/portlint/src/portlint.pl b/devel/portlint/src/portlint.pl index d88888a..7b5205f 100644 --- a/devel/portlint/src/portlint.pl +++ b/devel/portlint/src/portlint.pl @@ -981,6 +981,14 @@ EOF "$j is deprecated."); } + # check for PREFIX + if ($m{'dep'} =~ /\${PREFIX}/) { + &perror("FATAL: \${PREFIX} must not be ". + "contained in *_DEPENDS. ". + "use \${LOCALBASE} or ". + "\${X11BASE} instead."); + } + # check port dir existence $k = $m{'dir'}; $k =~ s/\${PORTSDIR}/$ENV{'PORTSDIR'}/; diff --git a/ports-mgmt/portlint/Makefile b/ports-mgmt/portlint/Makefile index 714903b..f9e23f5 100644 --- a/ports-mgmt/portlint/Makefile +++ b/ports-mgmt/portlint/Makefile @@ -6,7 +6,7 @@ # $FreeBSD$ # -DISTNAME= portlint-2.0 +DISTNAME= portlint-2.1 CATEGORIES= devel DISTFILES= #empty diff --git a/ports-mgmt/portlint/src/portlint.pl b/ports-mgmt/portlint/src/portlint.pl index d88888a..7b5205f 100644 --- a/ports-mgmt/portlint/src/portlint.pl +++ b/ports-mgmt/portlint/src/portlint.pl @@ -981,6 +981,14 @@ EOF "$j is deprecated."); } + # check for PREFIX + if ($m{'dep'} =~ /\${PREFIX}/) { + &perror("FATAL: \${PREFIX} must not be ". + "contained in *_DEPENDS. ". + "use \${LOCALBASE} or ". + "\${X11BASE} instead."); + } + # check port dir existence $k = $m{'dir'}; $k =~ s/\${PORTSDIR}/$ENV{'PORTSDIR'}/; |
