Ken Takata wrote: > Hi Bram, > > 2014/10/18 Sat 3:21:55 UTC+9 Bram Moolenaar wrote: > > Merging Make_cyg.mak and Make_ming.mak might be a bit difficult, but > > perhaps we can at least move the parts that are the same to a common > > file and include it in both? We could gradually move more lines there. > > I have made patches following your idea. > > 1. 01-rename-ming-mak.patch > * Rename the old Make_ming.mak to cyg_ming.mak. > > 2. 02-remove-old-cyg-mak.patch > * Remove the old Make_cyg.mak. > > 3. 03-merge-cyg-ming-mak.patch > * Make new Make_ming.mak/Make_cyg.mak which include cyg_ming.mak. > Common parts are left in cyg_ming.mak, and MinGW/Cygwin specific parts are > moved to the each file. > * Some comments and documents are also updated. > * The default Ruby version is changed from 1.6 to 1.8 since it is already > 1.8 > in Make_mvc.mak. > (I think the default Python version (2.2) and Perl version (5.8) are very > old, but I didn't change them at this time.)
Thanks, sounds good. I'll leave testing to others. I would prefer cyg_ming.mak to be called Make_cyg_ming.mak. I don't think the long name is a problem these days. It keeps the Makefiles sorted together. -- The psychic said, "God bless you." I said, "I didn't sneeze." She looked deep into my eyes and said, "You will, eventually." And, damn if she wasn't right. Two days later, I sneezed. --Ellen Degeneres /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
