diff options
author | wiz <wiz@pkgsrc.org> | 2009-03-06 09:55:30 +0000 |
---|---|---|
committer | wiz <wiz@pkgsrc.org> | 2009-03-06 09:55:30 +0000 |
commit | dc440756b2e39d83cb656fb97ed7c4454e735ae5 (patch) | |
tree | 4a17e5a18f230b7c315320afefd0bb421a1a13ca /lang/maude | |
parent | ae9402efd08e7bdfc099d6787799fa22e1b0910b (diff) | |
download | pkgsrc-dc440756b2e39d83cb656fb97ed7c4454e735ae5.tar.gz |
Convert to user-destdir, and mark as MAKE_JOBS_SAFE=no (latter part
from Ryo HAYASAKA in PR 40743).
Diffstat (limited to 'lang/maude')
-rw-r--r-- | lang/maude/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index 9ad9de1447a..62551fb46c3 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.20 2008/02/28 11:58:48 rillig Exp $ +# $NetBSD: Makefile,v 1.21 2009/03/06 09:55:30 wiz Exp $ # DISTNAME= Maude-2.3 @@ -11,13 +11,17 @@ MAINTAINER= kristerw@NetBSD.org HOMEPAGE= http://maude.cs.uiuc.edu/ COMMENT= System for equational and rewriting logic specification/programming +PKG_DESTDIR_SUPPORT= user-destdir +MAKE_JOBS_SAFE= no + GNU_CONFIGURE= YES USE_LANGUAGES= c c++ USE_TOOLS+= flex bison AUTO_MKDIRS= yes post-install: - cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude ${PREFIX}/share/maude + cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude \ + ${DESTDIR}${PREFIX}/share/maude .include "../../devel/buddy/buildlink3.mk" .include "../../devel/gmp/buildlink3.mk" |