Move/copy legacy docs build to a separate directory
This commit is contained in:
committed by
Space Team
parent
1cb77a47ec
commit
9bceb6cd0a
@@ -0,0 +1,30 @@
|
||||
apply plugin: 'de.undercouch.download'
|
||||
apply plugin: 'base'
|
||||
|
||||
final String ext
|
||||
if (System.getProperty('os.name', '').toLowerCase().contains('windows')) {
|
||||
ext = ".bat"
|
||||
} else {
|
||||
ext = ""
|
||||
}
|
||||
|
||||
|
||||
final String antVersion = "1.10.12"
|
||||
final String antURL = "https://cache-redirector.jetbrains.com/downloads.apache.org/ant/binaries/apache-ant-$antVersion-bin.zip"
|
||||
final File antHome = new File(buildDir, "ant-home")
|
||||
final File antZip = new File(buildDir, "apache-ant-$antVersion-bin.zip")
|
||||
final File antExe = new File(antHome, "apache-ant-$antVersion/bin/ant$ext")
|
||||
|
||||
task downloadAnt(type: Download) {
|
||||
src antURL
|
||||
dest antZip
|
||||
overwrite false
|
||||
}
|
||||
|
||||
task extractAnt(type: Sync, dependsOn: downloadAnt) {
|
||||
from zipTree(antZip)
|
||||
into antHome
|
||||
}
|
||||
|
||||
project.extensions.ant_exe = antExe
|
||||
|
||||
Reference in New Issue
Block a user