diff options
| author | asau <asau> | 2012-10-02 20:11:34 +0000 |
|---|---|---|
| committer | asau <asau> | 2012-10-02 20:11:34 +0000 |
| commit | 2d72c628fbfaa569ade2ab8ab4c8b5d8eef6cb33 (patch) | |
| tree | 70a00b8f60d7401066bef0246bd055b4efc68dae /lang/twelf | |
| parent | 8ddaa92985a2887c4562dde9d2b1ee3fc21acb4c (diff) | |
| download | pkgsrc-2d72c628fbfaa569ade2ab8ab4c8b5d8eef6cb33.tar.gz | |
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Diffstat (limited to 'lang/twelf')
| -rw-r--r-- | lang/twelf/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index 0e0005ec10d..c249a65c530 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.21 2010/02/04 01:21:39 joerg Exp $ +# $NetBSD: Makefile,v 1.22 2012/10/02 20:11:56 asau Exp $ # DISTNAME= twelf-1-4 @@ -12,8 +12,6 @@ HOMEPAGE= http://www.cs.cmu.edu/~twelf/ COMMENT= Meta-language for proving properties of languages and logics LICENSE= generic-nonlicense -PKG_DESTDIR_SUPPORT= user-destdir - RESTRICTED= License terms not specified; assume no redistribution rights NO_SRC_ON_FTP= ${RESTRICTED} NO_SRC_ON_CDROM= ${RESTRICTED} |