diff options
author | rillig <rillig@pkgsrc.org> | 2007-12-01 13:17:56 +0000 |
---|---|---|
committer | rillig <rillig@pkgsrc.org> | 2007-12-01 13:17:56 +0000 |
commit | c53f090cc0fa2cfa094fe200e26b4e8b77cb86f5 (patch) | |
tree | 501a7bd19af4ba721fb67967c9e0c59ffe0963e6 | |
parent | d90fbc95745a295824c4fc5b071f41bb81584300 (diff) | |
download | pkgsrc-c53f090cc0fa2cfa094fe200e26b4e8b77cb86f5.tar.gz |
Maybe it's better to keep the directory for the *.maude files as it was
before the update.
-rw-r--r-- | lang/maude/Makefile | 4 | ||||
-rw-r--r-- | lang/maude/PLIST | 20 |
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 |