replace curl with wget

Author: Jérôme FERET

.github/workflows/ci.yml

@@ -172,6 +172,17 @@ jobs:
         with:
           name: macos-dist 
           path: Kappapp.app.zip 
+      - name: Deploy Windows release
+        uses: WebFreak001/deploy-nightly@v3.2.0
+        with:
+          upload_url: https://uploads.github.com/repos/Kappa-Dev/KappaTools/releases/308266490/assets{?name,label} # find out this value by opening https://api.github.com/repos/<owner>/<repo>/releases in your browser and copy the full "upload_url" value including the {?name,label} part
+          release_id: 308266490 # same as above (id can just be taken out the upload_url, it's used to find old releases)
+          asset_path: ./Kappapp.app.zip # path to archive to upload
+          asset_name: Kappapp.app.zip # name to upload the release as, use $$ to insert date (YYYYMMDD) and 6 letter commit hash
+          asset_content_type: application/zip # required by GitHub API
+          max_releases: 2# optional, if there are more releases than this matching the asset_name, the oldest ones are going to be deleted
+          ignore_hash: true # optional, if there is already a release associated with the repo's current commit, should we go ahead and upload the asset anyway.    
+
 
   webapp-windows:
     runs-on: windows-2022

Makefile

@@ -188,7 +188,7 @@ build/KappappWin:
 	+$(MAKE) APP_EXT=local build/site/index.html
 	dune build --only-packages kappa-library,kappa-binaries,kappa-agents
 	FILE=$$(mktemp -t electronXXXX); \
-	curl -LsS -o $$FILE https://github.com/electron/electron/releases/download/v$(ELECTRON_VERSION)/electron-v$(ELECTRON_VERSION)-win32-x64.zip && \
+	wget -o $$FILE https://github.com/electron/electron/releases/download/v$(ELECTRON_VERSION)/electron-v$(ELECTRON_VERSION)-win32-x64.zip && \
 	unzip $$FILE -d build/KappappWin
 	mv build/site build/KappappWin/resources/app
 	mv build/KappappWin/electron.exe build/KappappWin/Kappapp.exe