Skip to content

Commit

Permalink
Copy script file for Choreo (#449)
Browse files Browse the repository at this point in the history
  • Loading branch information
spacey-sooty authored Oct 15, 2024
1 parent 8256c6e commit 4f83116
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions scripts/tools.gradle
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,9 @@ def advantageScopeScriptFile = file("files/AdvantageScope.vbs")
def advantageScopeScriptPythonFile = file("files/AdvantageScope.py")
def advantageScopeScriptUnixFile = file("files/AdvantageScope.sh")

def choreoScriptFile = file("files/Choreo.vbs")
def choreoScriptUnixFile = file("files/Choreo.sh")

def toolsJsonTask = tasks.register('toolsJson', Task) {

dependsOn tasks.named('lazyModelEvaluation')
Expand Down Expand Up @@ -105,6 +108,10 @@ ext.toolsSetup = { AbstractArchiveTask zip->
zip.from (advantageScopeScriptFile) {
into '/tools'
}

zip.from (choreoScriptFile) {
into '/tools'
}
} else {
zip.from (scriptBaseUnixFile) {
into '/tools'
Expand Down Expand Up @@ -135,6 +142,11 @@ ext.toolsSetup = { AbstractArchiveTask zip->
into '/tools'
fileMode 0755
}

zip.from (choreoScriptUnixFile) {
into '/tools'
fileMode 0755
}
}

}

0 comments on commit 4f83116

Please sign in to comment.