Update path
This commit is contained in:
parent
e3d20676f3
commit
364447b557
@ -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}">
|
||||
|
Loading…
x
Reference in New Issue
Block a user