add TBB build specifics

stan-dev · Jun 16, 2019 · a508c59 · a508c59
1 parent 17a94d9
commit a508c59
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -14,6 +14,12 @@ def runTests(String prefix = "") {
     """
 }
 
+def runWinTests(String prefix = "") {
+    """ mingw32-make -j${env.PARALLEL} build
+      ${prefix}runCmdStanTests.py -j${env.PARALLEL} src/test/interface
+    """
+}
+
 def deleteDirWin() {
     bat "attrib -r -s /s /d"
     deleteDir()
@@ -58,7 +64,7 @@ pipeline {
                     agent { label 'windows' }
                     steps {
                         setupCXX()
-                        bat runTests()
+                        bat runWinTests()
                     }
                     post {
                         always {
@@ -86,6 +92,7 @@ pipeline {
                     steps {
                         setupCXX("${MPICXX}")
                         sh "echo STAN_MPI=true >> make/local"
+                        sh "echo CXX_TYPE=gcc >> make/local"
                         sh "make build-mpi > build-mpi.log 2>&1"
                         sh runTests("./")
                     }