From b91cde777d92060d70ee5ef04b37b8bc527b36ff Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Thu, 7 Nov 2019 16:45:27 +0100
Subject: [PATCH] Make Docker command configurable (and use Podman by default)

---
 build.xml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/build.xml b/build.xml
index 44c00e6..37cffad 100644
--- a/build.xml
+++ b/build.xml
@@ -1,11 +1,14 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project name="docker-amiga-gcc" default="build">
+    <!-- Set this to "docker" if you have/want to use Docker instead of Podman -->
+    <property name="docker-command" value="podman"/>
+
     <target name="clean">
         <delete dir="${basedir}/test"/>
     </target>
 
     <target name="build">
-        <exec executable="docker" taskname="docker">
+        <exec executable="${docker-command}" taskname="docker">
             <arg value="build"/>
             <arg value="--pull"/>
             <arg value="--no-cache"/>
@@ -18,7 +21,7 @@
     <target name="test">
         <mkdir dir="${basedir}/test"/>
 
-        <exec executable="docker" taskname="docker">
+        <exec executable="${docker-command}" taskname="docker">
             <arg value="run"/>
             <arg value="--rm"/>
             <arg value="--volume"/>
@@ -31,7 +34,7 @@
             <arg value="-noixemul"/>
         </exec>
 
-        <exec executable="docker" taskname="docker" outputproperty="hello.c">
+        <exec executable="${docker-command}" taskname="docker" outputproperty="hello.c">
             <arg value="run"/>
             <arg value="--rm"/>
             <arg value="--volume"/>