Added platform override

Author: Stefterv

.github/workflows/release.yml

@@ -100,7 +100,7 @@ jobs:
           p12-file-base64: ${{ secrets.CERTIFICATES_P12 }}
           p12-password: ${{ secrets.CERTIFICATES_P12_PASSWORD }}
       - name: Build Release
-        run: ant -noinput -buildfile build/build.xml ${{ matrix.os_prefix }}-dist -Dversion="${{ needs.version.outputs.version }}"
+        run: ant -noinput -buildfile build/build.xml ${{ matrix.os_prefix }}-dist -Dversion="${{ needs.version.outputs.version }}" -Dplatform.override=${{ matrix.os_prefix }}
         env:
           PROCESSING_APP_PASSWORD: ${{ secrets.PROCESSING_APP_PASSWORD }}
           PROCESSING_APPLE_ID: ${{ secrets.PROCESSING_APPLE_ID }}

build/build.xml

@@ -9,21 +9,37 @@
     </classpath>
   </taskdef>
 
-  <!-- Sets properties for macos/windows/linux depending on current system -->
+  <property name="platform.override" value="" description="Override OS (windows/linux/mac)" />
+
+  <!-- First check if we have an override -->
+  <condition property="platform" value="${platform.override}">
+    <isset property="platform.override"/>
+  </condition>
+
+  <!-- Only do OS detection if platform isn't already set by override -->
   <condition property="platform" value="macos">
-    <os family="mac" />
+    <and>
+      <not><isset property="platform"/></not>
+      <os family="mac" />
+    </and>
   </condition>
 
   <condition property="platform" value="windows">
-    <os family="windows" />
+    <and>
+      <not><isset property="platform"/></not>
+      <os family="windows" />
+    </and>
   </condition>
 
   <condition property="platform" value="linux">
     <and>
-      <os family="unix" />
-      <not>
-        <os family="mac" />
-      </not>
+      <not><isset property="platform"/></not>
+      <and>
+        <os family="unix" />
+        <not>
+          <os family="mac" />
+        </not>
+      </and>
     </and>
   </condition>
 
@@ -114,7 +130,7 @@
 
     <!-- ${platform} ok for Windows/Linux, but 'macos' needs to be 'mac' -->
     <condition property="jdk.download.os" value="mac" else="${platform}">
-      <os family="mac" />
+      <equals arg1="${platform}" arg2="macos"/>
     </condition>
 
     <!-- amd64 or x86_64 use x64, others use os.arch -->