From be4e7fef44ac86997dd140b1b0623b3723d2494f Mon Sep 17 00:00:00 2001 From: mintty Date: Thu, 10 Oct 2024 00:00:00 +0200 Subject: [PATCH] download mintty via git; fix wsltty version info --- makefile | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/makefile b/makefile index dd8c787..541e89b 100644 --- a/makefile +++ b/makefile @@ -183,10 +183,16 @@ wslbridge-backend: # extract binaries cp $(wslbridgedir)/bin/wslbridge2-backend bin/ -mintty-get: +mintty-get: mintty-git # mintty-download or mintty-git + cp mintty-$(minttyver)/icon/terminal.ico mintty.ico + +mintty-download: $(wgeto) https://github.com/mintty/mintty/archive/$(minttyver).zip -o mintty-$(minttyver).zip unzip -o mintty-$(minttyver).zip - cp mintty-$(minttyver)/icon/terminal.ico mintty.ico + +mintty-git: + test -d mintty-$(minttyver) || git clone --depth 111 https://github.com/mintty/mintty.git mintty-$(minttyver) + cd mintty-$(minttyver); git checkout $(minttyver) wslbuild=LDFLAGS="-static -static-libgcc -s" appxbuild=$(wslbuild) CCOPT=-DWSLTTY_APPX