diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..21d4f11 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,22 @@ +pipeline { + agent { + dockerfile { + filename 'Dockerfile.build' + label 'crafting-interpreters-build' + } + } + + stages { + stage('Build') { + steps { + cmakeBuild generator: 'Make', + buildDir: 'build', + sourceDir: 'src', + installation: 'InSearchPath' + archiveArtifacts artifacts: 'Lox.jar', + fingerprint: false, + onlyIfSuccessful: true + } + } + } +} |