Jenkinsfile

pipeline {
  agent any
  stages {
    stage('build') {
      steps {
        sh 'eval `opam config env`'
        sh 'make tlc'
        sh 'make'
        sh "chmod a+x ${env.WORKSPACE}/src/runR.native"
	sh "chmod 755 ${env.WORKSPACE}/base_setup.sh && ${env.WORKSPACE}/base_setup.sh ${env.WORKSPACE}"
      }
    }

    stage('Test R') {
      steps {
        sh ". ${env.PYTHON_ENV}/activate && ${env.WORKSPACE}/compare/run_all.py ${env.RTESTS} --server -t 'R 3.4.2 Tests with base libs'"
      }
    }
    stage('Test fastR') {
      steps {
        sh ". ${env.PYTHON_ENV}/activate && ${env.WORKSPACE}/compare/run_all.py ${env.TESTS_FOLDER}/fastr --server -t 'fastR Tests with base libs'"
      }
    }


  }
  environment {
    COQ_INTERP = "${env.WORKSPACE}"
    COQR_INITIAL_STATE = "${env.WORKSPACE}/Rlib/bootstrapping.state"
    RSCRIPT = 'R'
  }
}