diff --git a/docker/Jenkinsfile b/docker/Jenkinsfile index a165256948305d205b6802a963203b82494f9a16..c4c50a0434a9f037f71cb293cf0e1e6feb300b39 100644 --- a/docker/Jenkinsfile +++ b/docker/Jenkinsfile @@ -3,6 +3,11 @@ pipeline { parameters { string(name: 'FINN_CI_BRANCH', defaultValue: '', description: 'FINN branch to build') string(name: 'VIVADO_PATH', defaultValue: '', description: 'Path to Vivado installation') + string(name: 'PYNQ_BOARD', defaultValue: 'Pynq-Z1', description: 'PYNQ board type') + string(name: 'PYNQ_IP', defaultValue: '', description: 'PYNQ board IP address') + string(name: 'PYNQ_USERNAME', defaultValue: 'xilinx', description: 'PYNQ board username') + string(name: 'PYNQ_PASSWORD', defaultValue: 'xilinx', description: 'PYNQ board password') + string(name: 'PYNQ_TARGET_DIR', defaultValue: '/home/xilinx/finn', description: 'PYNQ board target deployment directory') } environment { DOCKER_TAG='finn_ci:$BUILD_ID' @@ -34,6 +39,11 @@ pipeline { -v ${params.VIVADO_PATH}:${params.VIVADO_PATH}:ro \ -e FINN_INST_NAME=$DOCKER_INST_NAME \ -e VIVADO_PATH=${params.VIVADO_PATH} \ + -e PYNQ_BOARD=${params.PYNQ_BOARD} \ + -e PYNQ_IP=${params.PYNQ_IP} \ + -e PYNQ_USERNAME=${params.PYNQ_USERNAME} \ + -e PYNQ_PASSWORD=${params.PYNQ_PASSWORD} \ + -e PYNQ_TARGET_DIR=${params.PYNQ_TARGET_DIR} \ $DOCKER_TAG bash -c "$DOCKER_CMD" """ }