summaryrefslogtreecommitdiff
path: root/lang/maude
diff options
context:
space:
mode:
authorrillig <rillig>2007-12-01 13:17:56 +0000
committerrillig <rillig>2007-12-01 13:17:56 +0000
commit68a5ef5586dd2dc5b93c110a2200fd4852c80d43 (patch)
tree501a7bd19af4ba721fb67967c9e0c59ffe0963e6 /lang/maude
parentd2c2404f7b4b71c15e0276bcc64a94d94c87a890 (diff)
downloadpkgsrc-68a5ef5586dd2dc5b93c110a2200fd4852c80d43.tar.gz
Maybe it's better to keep the directory for the *.maude files as it was
before the update.
Diffstat (limited to 'lang/maude')
-rw-r--r--lang/maude/Makefile4
-rw-r--r--lang/maude/PLIST20
2 files changed, 12 insertions, 12 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile
index c7209111007..4787eaaa4c8 100644
--- a/lang/maude/Makefile
+++ b/lang/maude/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.18 2007/12/01 13:15:55 rillig Exp $
+# $NetBSD: Makefile,v 1.19 2007/12/01 13:17:56 rillig Exp $
#
DISTNAME= Maude-2.3
@@ -17,7 +17,7 @@ USE_TOOLS+= flex bison
INSTALLATION_DIRS_FROM_PLIST=yes
post-install:
- cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude ${PREFIX}/share/examples/maude
+ cd ${WRKSRC}/src/Main && ${INSTALL_DATA} *.maude ${PREFIX}/share/maude
.include "../../devel/buddy/buildlink3.mk"
.include "../../devel/gmp/buildlink3.mk"
diff --git a/lang/maude/PLIST b/lang/maude/PLIST
index ccc7832896c..e7f9d2821bc 100644
--- a/lang/maude/PLIST
+++ b/lang/maude/PLIST
@@ -1,11 +1,11 @@
-@comment $NetBSD: PLIST,v 1.4 2007/12/01 13:15:55 rillig Exp $
+@comment $NetBSD: PLIST,v 1.5 2007/12/01 13:17:56 rillig Exp $
bin/maude
-share/examples/maude/linear.maude
-share/examples/maude/machine-int.maude
-share/examples/maude/model-checker.maude
-share/examples/maude/model-checker.maude
-share/examples/maude/prelude.maude
-share/examples/maude/prelude.maude
-share/examples/maude/socket.maude
-share/examples/maude/term-order.maude
-@dirrm share/examples/maude
+share/maude/linear.maude
+share/maude/machine-int.maude
+share/maude/model-checker.maude
+share/maude/model-checker.maude
+share/maude/prelude.maude
+share/maude/prelude.maude
+share/maude/socket.maude
+share/maude/term-order.maude
+@dirrm share/maude