Add ibex config scripts

This commit is contained in:
Michael Rogenmoser 2021-02-02 11:16:07 +01:00
parent 2ba1be662d
commit 0f63e0b866
2 changed files with 32 additions and 0 deletions

16
configs/pulp_ibex.sh Normal file
View file

@ -0,0 +1,16 @@
#!/bin/bash -e
export PULPRT_TARGET=pulp
export PULPRUN_TARGET=pulp
export USE_IBEX=1
if [ -n "${ZSH_VERSION:-}" ]; then
DIR="$(readlink -f -- "${(%):-%x}")"
scriptDir="$(dirname $DIR)"
else
scriptDir="$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"
fi
source $scriptDir/common.sh

View file

@ -0,0 +1,16 @@
#!/bin/bash -e
export PULPRT_TARGET=pulpissimo
export PULPRUN_TARGET=pulpissimo
export USE_IBEX=1
if [ -n "${ZSH_VERSION:-}" ]; then
DIR="$(readlink -f -- "${(%):-%x}")"
scriptDir="$(dirname $DIR)"
else
scriptDir="$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"
fi
source $scriptDir/common.sh