File tree Expand file tree Collapse file tree 3 files changed +15
-4
lines changed
Expand file tree Collapse file tree 3 files changed +15
-4
lines changed Original file line number Diff line number Diff line change 335335 <fileset dir =" shared/tools" />
336336 </copy >
337337
338+ <!-- make sure ffmpeg/ffmpeg.exe have exec permission -->
339+ <condition property =" ffmpeg.binary" value =" ffmpeg.exe" else =" ffmpeg" >
340+ <os family =" windows" />
341+ </condition >
342+ <chmod file =" ${ target.path } /tools/MovieMaker/tool/${ ffmpeg.binary } " perm =" ugo+x" />
343+
338344 <copy todir =" ${ target.path } /modes/java" preservelastmodified =" true" >
339345 <fileset dir =" ../java" >
340346 <!-- don't include LWJGL, it's not operational -->
Original file line number Diff line number Diff line change 11bin
2+ ffmpeg- * .gz
3+
24
35
46
Original file line number Diff line number Diff line change 2020 </and >
2121 </condition >
2222
23- <condition property =" ffmpeg.filename " value =" ffmpeg.exe" else =" ffmpeg" >
23+ <condition property =" ffmpeg.binary " value =" tool/ ffmpeg.exe" else =" tool/ ffmpeg" >
2424 <os family =" windows" />
2525 </condition >
2626
2929 from several locations, and are all packaged differently.
3030 This could be automated, but too much effort relative to utility. -->
3131 <property name =" ffmpeg.url"
32- value =" https://download.processing.org/ffmpeg/${ ffmpeg.version } /$ ffmpeg-${ platform } -${ os.arch } .gz" />
32+ value =" https://download.processing.org/ffmpeg/${ ffmpeg.version } /ffmpeg-${ platform } -${ os.arch } .gz" />
3333
3434 <property name =" ffmpeg.gz" value =" ffmpeg-${ ffmpeg.version } .gz" />
3535 <available file =" ${ ffmpeg.gz } " property =" ffmpeg.present" />
4747 dest =" ${ ffmpeg.gz } "
4848 ignoreerrors =" ${ ffmpeg.ignorable } "
4949 usetimestamp =" true" />
50+ </target >
5051
51- <gunzip src =" ${ ffmpeg.gz } " dest =" ${ ffmpeg.filename } " />
52+ <target name =" prepare-ffmpeg" depends =" download-ffmpeg" >
53+ <gunzip src =" ${ ffmpeg.gz } " dest =" ${ ffmpeg.binary } " />
54+ <chmod file =" ${ ffmpeg.binary } " perm =" ugo+x" />
5255 </target >
5356
5457 <target name =" clean" description =" Clean the build directories" >
7477 </javac >
7578 </target >
7679
77- <target name =" build" depends =" compile, download -ffmpeg" description =" Build Movie Maker Tool" >
80+ <target name =" build" depends =" compile, prepare -ffmpeg" description =" Build Movie Maker Tool" >
7881 <mkdir dir =" tool" />
7982 <jar basedir =" bin" destfile =" tool/MovieMaker.jar" />
8083 </target >
You can’t perform that action at this time.
0 commit comments