| @@ -1,25 +1,29 @@ | | | @@ -1,25 +1,29 @@ |
1 | # $NetBSD: Makefile,v 1.20 2008/02/28 11:58:48 rillig Exp $ | | 1 | # $NetBSD: Makefile,v 1.21 2009/03/06 09:55:30 wiz Exp $ |
2 | # | | 2 | # |
3 | | | 3 | |
4 | DISTNAME= Maude-2.3 | | 4 | DISTNAME= Maude-2.3 |
5 | PKGNAME= maude-2.3 | | 5 | PKGNAME= maude-2.3 |
6 | CATEGORIES= lang | | 6 | CATEGORIES= lang |
7 | MASTER_SITES= http://maude.cs.uiuc.edu/download/ \ | | 7 | MASTER_SITES= http://maude.cs.uiuc.edu/download/ \ |
8 | http://maude.cs.uiuc.edu/download/current/ | | 8 | http://maude.cs.uiuc.edu/download/current/ |
9 | | | 9 | |
10 | MAINTAINER= kristerw@NetBSD.org | | 10 | MAINTAINER= kristerw@NetBSD.org |
11 | HOMEPAGE= http://maude.cs.uiuc.edu/ | | 11 | HOMEPAGE= http://maude.cs.uiuc.edu/ |
12 | COMMENT= System for equational and rewriting logic specification/programming | | 12 | COMMENT= System for equational and rewriting logic specification/programming |
13 | | | 13 | |
| | | 14 | PKG_DESTDIR_SUPPORT= user-destdir |
| | | 15 | MAKE_JOBS_SAFE= no |
| | | 16 | |
14 | GNU_CONFIGURE= YES | | 17 | GNU_CONFIGURE= YES |
15 | USE_LANGUAGES= c c++ | | 18 | USE_LANGUAGES= c c++ |
16 | USE_TOOLS+= flex bison | | 19 | USE_TOOLS+= flex bison |
17 | AUTO_MKDIRS= yes | | 20 | AUTO_MKDIRS= yes |
18 | | | 21 | |
19 | post-install: | | 22 | post-install: |
20 | cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude ${PREFIX}/share/maude | | 23 | cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude \ |
| | | 24 | ${DESTDIR}${PREFIX}/share/maude |
21 | | | 25 | |
22 | .include "../../devel/buddy/buildlink3.mk" | | 26 | .include "../../devel/buddy/buildlink3.mk" |
23 | .include "../../devel/gmp/buildlink3.mk" | | 27 | .include "../../devel/gmp/buildlink3.mk" |
24 | .include "../../devel/libtecla/buildlink3.mk" | | 28 | .include "../../devel/libtecla/buildlink3.mk" |
25 | .include "../../mk/bsd.pkg.mk" | | 29 | .include "../../mk/bsd.pkg.mk" |