grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] make install on windows


From: Christian Franke
Subject: Re: [PATCH] make install on windows
Date: Sat, 28 Feb 2009 01:32:38 +0100
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.16) Gecko/20080702 SeaMonkey/1.1.11

Alexandre Bique wrote:
Hi,

On windows with cygwin or mingw, when i do make install, it installs
linux elf32 files instead of windows *.exe.

Here is a patch to install the right file depending on $(EXEEXT).

Thank you.

Ooouuuppss, there is a little mistake : $(EXEXT) instead of $(EXEEXT).
Take the new patch.


--- Makefile.in    (revision 2001)
+++ Makefile.in    (working copy)
@@ -222,14 +222,14 @@
       $(INSTALL_DATA) $$dir$$file $(DESTDIR)$(pkgdatadir)/$$dest; \
     done
     $(mkinstalldirs) $(DESTDIR)$(bindir) $(DESTDIR)$(mandir)/man1
-    @list='$(bin_UTILITIES)'; for file in $$list; do \
+    @list='$(bin_UTILITIES:=$(EXEEXT))'; for file in $$list; do \
       if test -f "$$file"; then dir=; else dir="$(srcdir)/"; fi; \
       dest="`echo $$file | sed 's,.*/,,' | sed '$(transform)'`"; \

This is not necessary on Cygwin. Its /usr/bin/install handles the .exe issue itself, such that most existing Makefiles work OOTB.

Please make sure that /usr/bin/install and no other install is found in the PATH.

--
Christian Franke





reply via email to

[Prev in Thread] Current Thread [Next in Thread]