File tree Expand file tree Collapse file tree 2 files changed +7
-1
lines changed
Expand file tree Collapse file tree 2 files changed +7
-1
lines changed Original file line number Diff line number Diff line change 2828 </target >
2929
3030 <target name =" compile" depends =" download" description =" compile the java module overwrites" >
31- <javac srcdir =" ${ src } " destdir =" ${ build } /modules" classpath =" ${ tlc } /tla2tools.jar:${ lib } /gson-2.8.6.jar:${ lib } /jgrapht-core-1.5.1.jar:${ lib } /jungrapht-layout-1.4-SNAPSHOT.jar:${ lib } /slf4j-api-1.7.30.jar:${ lib } /commons-lang3-3.12.0.jar"
31+ <javac srcdir =" ${ src } " destdir =" ${ build } /modules" classpath =" ${ tlc } /tla2tools.jar:${ lib } /gson-2.8.6.jar:${ lib } /jgrapht-core-1.5.1.jar:${ lib } /jungrapht-layout-1.4-SNAPSHOT.jar:${ lib } /slf4j-api-1.7.30.jar:${ lib } /slf4j-nop-1.7.30.jar: ${ lib } / commons-lang3-3.12.0.jar"
3232 source =" 1.8"
3333 target =" 1.8"
3434 includeantruntime =" false" />
6767 <include name =" **/*.class" />
6868 </patternset >
6969 </unzip >
70+ <unzip src =" lib/slf4j-nop-1.7.30.jar" dest =" ${ build } /deps" >
71+ <patternset >
72+ <include name =" **/*.class" />
73+ </patternset >
74+ </unzip >
7075 <unzip src =" lib/commons-lang3-3.12.0.jar" dest =" ${ build } /deps" >
7176 <patternset >
7277 <include name =" **/*.class" />
114119 <pathelement location =" ${ lib } /jgrapht-core-1.5.1.jar" />
115120 <pathelement location =" ${ lib } /jungrapht-layout-1.4-SNAPSHOT.jar" />
116121 <pathelement location =" ${ lib } /slf4j-api-1.7.30.jar" />
122+ <pathelement location =" ${ lib } /slf4j-nop-1.7.30.jar" />
117123 <pathelement location =" ${ lib } /commons-lang3-3.12.0.jar" />
118124 <!-- The jar that has just been built by the dist target. -->
119125 <pathelement location =" ${ dist } /CommunityModules-${ timestamp } .jar" />
You can’t perform that action at this time.
0 commit comments