From 4f831163db43a7dee3ad82a49408ff1066c8851c Mon Sep 17 00:00:00 2001
From: Jade <spacey-sooty@proton.me>
Date: Tue, 15 Oct 2024 14:10:45 +0800
Subject: [PATCH] Copy script file for Choreo (#449)

---
 scripts/tools.gradle | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/scripts/tools.gradle b/scripts/tools.gradle
index 62f833d..bb35fd6 100644
--- a/scripts/tools.gradle
+++ b/scripts/tools.gradle
@@ -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')
@@ -105,6 +108,10 @@ ext.toolsSetup = { AbstractArchiveTask zip->
     zip.from (advantageScopeScriptFile) {
       into '/tools'
     }
+
+    zip.from (choreoScriptFile) {
+      into '/tools'
+    }
   } else {
     zip.from (scriptBaseUnixFile) {
       into '/tools'
@@ -135,6 +142,11 @@ ext.toolsSetup = { AbstractArchiveTask zip->
       into '/tools'
       fileMode 0755
     }
+
+    zip.from (choreoScriptUnixFile) {
+      into '/tools'
+      fileMode 0755
+    }
   }
 
 }