diff options
| author | Michael Soegtrop | 2020-07-04 18:42:50 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2020-07-04 18:42:50 +0200 |
| commit | 5facdb7fd256a5b3efe8c805f2666d613f302bd3 (patch) | |
| tree | 8f8b8eab216bae3a5e85422c0d512c171c865b67 /Makefile.ide | |
| parent | cf388fdb679adb88a7e8b3122f65377552d2fb94 (diff) | |
Windows build: use architecture dependent version of windres
Diffstat (limited to 'Makefile.ide')
| -rw-r--r-- | Makefile.ide | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.ide b/Makefile.ide index 640ee7b188..789acee5ec 100644 --- a/Makefile.ide +++ b/Makefile.ide @@ -296,10 +296,12 @@ $(COQIDEAPP):$(COQIDEAPP)/Contents/Resources # CoqIde for Windows special targets ########################################################################### +# This is either x86_64-w64-mingw32 or i686-w64-mingw32 +TARGET_ARCH=$(shell $CC -dumpmachine) + %.o: %.rc $(SHOW)'WINDRES $<' - $(HIDE)i686-w64-mingw32-windres -i $< -o $@ - + $(HIDE)$(TARGET_ARCH)-windres -i $< -o $@ # For emacs: # Local Variables: |