blob: 0b7605ab0ce4ed30c50018e0122570d7de4c8af5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# $NetBSD: Makefile,v 1.3 2003/03/23 23:56:15 jmc Exp $
#
DISTNAME= maude-linux
PKGNAME= maude-1.0.5
CATEGORIES= lang
MASTER_SITES= http://maude.csl.sri.com/current/system/
EXTRACT_SUFX= .tar.Z
MAINTAINER= packages@netbsd.org
HOMEPAGE= http://maude.csl.sri.com/
COMMENT= system for equational and rewriting logic specification/programming
# see http://maude.csl.sri.com/license/license.html
LICENSE= maude-license
RESTRICTED= license does not explicitly allow redistribution
NO_SRC_ON_FTP= ${RESTRICTED}
NO_BIN_ON_FTP= ${RESTRICTED}
NO_SRC_ON_CDROM= ${RESTRICTED}
NO_BIN_ON_CDROM= ${RESTRICTED}
NO_PATCH= yes
NO_CONFIGURE= yes
NO_BUILD= yes
ONLY_FOR_PLATFORM= NetBSD-*-i386
do-install:
${INSTALL_PROGRAM} ${WRKDIR}/maude-linux/bin/maude.linux ${PREFIX}/bin/maude
${INSTALL_SCRIPT} ${WRKDIR}/maude-linux/bin/full-maude.maude ${PREFIX}/bin
${INSTALL_SCRIPT} ${WRKDIR}/maude-linux/bin/prelude.maude ${PREFIX}/bin
${INSTALL_DATA_DIR} ${PREFIX}/share/examples/maude
${INSTALL_DATA} ${WRKDIR}/maude-linux/examples/* ${PREFIX}/share/examples/maude
.include "../../mk/bsd.pkg.mk"
|
