[CI] move Jenkins finn checkout into JenkinsFile

Xilinx · Oct 12, 2023 · b6a7b72 · b6a7b72
1 parent da30f6b
commit b6a7b72
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 50 deletions.
diff --git a/build/get-finn-dev.sh b/build/get-finn-dev.sh
diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
@@ -16,7 +16,7 @@ pipeline {
 	  steps {
 		cleanLocalCloneDir()
 		dir('build') {
-		  sh './get-finn-dev.sh'
+		  getFinn()
 		  // WORKAROUND - Jenkins is not an interactive shell, deselect '-it',
 		  // in order to build bitstreams/run build script with Jenkins.
 		  dir('finn') {
@@ -393,3 +393,21 @@ def checkAllBoards() {
 
   return overallResult
 }
+
+void getFinn() {
+	// Using shell commands due to git plugin not behaving when cloning a new repo into
+	// an existing one. Likely a way to do this, but shell commands are sufficient
+
+	// Cleanup existing checkout
+	sh "rm -rf finn"
+
+	// Clone FINN repo into finn directory and checkout correct branch
+	sh "git clone https://github.com/Xilinx/finn finn"
+	sh "git -C finn checkout testing/jenkins-integration"
+
+	// WORKAROUND - Jenkins is not an interactive shell, deselect '-it',
+	// in order to build bitstreams/run build script with Jenkins.
+	dir('finn') {
+		sh "sed -i '/DOCKER_INTERACTIVE=\"-it\"/d' run-docker.sh"
+	}
+}