diff options
Diffstat (limited to 'lang/moscow_ml/patches/patch-ab')
| -rw-r--r-- | lang/moscow_ml/patches/patch-ab | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lang/moscow_ml/patches/patch-ab b/lang/moscow_ml/patches/patch-ab new file mode 100644 index 00000000000..e51cb57187d --- /dev/null +++ b/lang/moscow_ml/patches/patch-ab @@ -0,0 +1,15 @@ +--- compiler/Makefile.orig Thu Jul 17 17:33:20 1997 ++++ compiler/Makefile Mon Feb 16 23:58:54 1998 +@@ -104,9 +104,9 @@ + rm -f Makefile.bak + + install: +- cp mosmlcmp $(LIBDIR) +- cp mosmllnk $(LIBDIR) +- cp mosmltop $(LIBDIR) ++ ${BSD_INSTALL_DATA} mosmlcmp $(LIBDIR) ++ ${BSD_INSTALL_DATA} mosmllnk $(LIBDIR) ++ ${BSD_INSTALL_DATA} mosmltop $(LIBDIR) + + depend: Filename.sml Config.sml Opcodes.sml Parser.sml Parser.sig Lexer.sml \ + Predef.sml Prim_c.sml |