diff --git a/JenkinsFile b/JenkinsFile new file mode 100644 index 0000000000..b69600de6e --- /dev/null +++ b/JenkinsFile @@ -0,0 +1,30 @@ +pipeline { + agent any + + stages { + stage('Checkout') { + steps { + checkout scm + } + } + + stage('Configure') { + steps { + sh ''' + mkdir -p build + cd build + cmake .. + ''' + } + } + + stage('Build') { + steps { + sh ''' + cd build + make -j$(nproc) + ''' + } + } + } +}