From 364447b557cb85f6ceb998fe5eadb5f0dfe262da Mon Sep 17 00:00:00 2001
From: Liz Cray <liz@hacdc.org>
Date: Fri, 7 Mar 2025 20:27:46 -0500
Subject: [PATCH] Update path

---
 build.xml | 8 +++++++-
 env       | 1 +
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index e031590..978c8a6 100644
--- a/build.xml
+++ b/build.xml
@@ -16,13 +16,19 @@
     </condition>
   </target>
 
+  <target name="check.tool">
+    <condition property="tool.exists">
+      <available file="tools" type="dir" />
+    </condition>
+  </target>
+
   <target name="setup" depends="check.sdk" if="jcsdk.exists">
     <mkdir dir="tools"/>
     <get src="https://github.com/martinpaljak/ant-javacard/releases/download/v24.11.19/ant-javacard.jar" dest="tools" skipexisting="true"/>
     <get src="https://github.com/martinpaljak/GlobalPlatformPro/releases/download/v24.10.15/gp.jar" dest="tools" skipexisting="true"/>
   </target>
 
-  <target name="build" depends="clean,setup">
+  <target name="build" depends="clean,check.tool" if="tool.exists">
     <!-- ant-javacard task from javacard.pro -->
     <taskdef name="javacard" classname="pro.javacard.ant.JavaCard" classpath="tools/ant-javacard.jar" />
     <javacard jckit="${JCSDK}">
diff --git a/env b/env
index 5e053fa..2c7322c 100644
--- a/env
+++ b/env
@@ -1,2 +1,3 @@
 export JC_HOME="`pwd`/oracle_javacard_sdks/jc305u4_kit"
 export JC_CLASSIC_HOME="`pwd`/oracle_javacard_sdks/jc221_kit"
+export PATH="$JAVA_HOME/bin:$ANT_HOME/bin:$JC_HOME/bin:$PATH"