diff options
Diffstat (limited to 'lang/maude/files/patch-src-Main-Makefile.am')
-rw-r--r-- | lang/maude/files/patch-src-Main-Makefile.am | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/lang/maude/files/patch-src-Main-Makefile.am b/lang/maude/files/patch-src-Main-Makefile.am deleted file mode 100644 index 9bc8ccfd1616..000000000000 --- a/lang/maude/files/patch-src-Main-Makefile.am +++ /dev/null @@ -1,17 +0,0 @@ ---- src/Main/Makefile.am.orig 2008-08-11 01:13:04.000000000 +0200 -+++ src/Main/Makefile.am 2008-08-11 01:14:38.000000000 +0200 -@@ -1,5 +1,14 @@ - bin_PROGRAMS = maude - -+data_DATA = \ -+ prelude.maude \ -+ model-checker.maude \ -+ socket.maude \ -+ linear.maude \ -+ machine-int.maude \ -+ term-order.maude -+ -+ - if BUILD_COMPILER - FULL_COMPILER_LIB = ../FullCompiler/libfullCompiler.a - endif |