ant-http/Jenkinsfile

58 lines
1.8 KiB
Plaintext
Raw Normal View History

2022-08-01 12:01:13 +02:00
def remote = [:]
remote.name = 'workstation'
remote.host = 'workstation'
remote.user = 'dany'
remote.identityFile = '/var/jenkins_home/.ssh/id_rsa'
remote.allowAnyHosts = true
remote.agent = false
remote.logLevel = 'INFO'
pipeline{
agent { node{ label'master' }}
options {
// Limit build history with buildDiscarder option:
// daysToKeepStr: history is only kept up to this many days.
// numToKeepStr: only this many build logs are kept.
// artifactDaysToKeepStr: artifacts are only kept up to this many days.
// artifactNumToKeepStr: only this many builds have their artifacts kept.
buildDiscarder(logRotator(numToKeepStr: "1"))
// Enable timestamps in build log console
timestamps()
// Maximum time to run the whole pipeline before canceling it
timeout(time: 1, unit: 'HOURS')
// Use Jenkins ANSI Color Plugin for log console
ansiColor('xterm')
// Limit build concurrency to 1 per branch
disableConcurrentBuilds()
}
stages
{
stage('Build') {
steps {
2022-08-01 12:10:24 +02:00
sshCommand remote: remote, command: '''
2022-08-01 12:01:13 +02:00
set -e
2022-08-01 12:12:14 +02:00
export WORKSPACE=$(realpath "./jenkins/workspace/ant-http")
2022-08-01 12:03:14 +02:00
cd $WORKSPACE
2022-08-02 11:43:55 +02:00
[ -d build ] && rm -rf build
2022-08-02 09:15:38 +02:00
mkdir -p build/etc/systemd/system/
2022-08-02 11:43:55 +02:00
mkdir -p build/opt/www
2022-08-01 12:01:13 +02:00
libtoolize
aclocal
autoconf
automake --add-missing
2022-08-01 12:05:02 +02:00
./configure --prefix=/usr
2022-08-01 12:01:13 +02:00
make
2022-08-01 12:12:14 +02:00
DESTDIR=$WORKSPACE/build make install
2022-08-02 11:47:15 +02:00
cp $WORKSPACE/build/usr/etc/antd-config.ini build/opt/www/config.ini.example
2022-08-01 12:01:13 +02:00
'''
2022-08-01 12:10:24 +02:00
script {
// only useful for any master branch
2022-08-01 12:14:01 +02:00
//if (env.BRANCH_NAME =~ /^master/) {
2022-08-02 09:22:51 +02:00
archiveArtifacts artifacts: 'build/', fingerprint: true, onlyIfSuccessful: true
2022-08-01 12:14:01 +02:00
//}
2022-08-01 12:10:24 +02:00
}
2022-08-01 12:01:13 +02:00
}
}
}
}