mirror of
https://github.com/saymrwulf/pulp-runtime.git
synced 2026-06-24 02:47:57 +00:00
16 lines
325 B
Bash
16 lines
325 B
Bash
#!/bin/bash -e
|
|
|
|
export PULPRT_TARGET=pulpissimo
|
|
export PULPRUN_TARGET=pulpissimo
|
|
export USE_CV32E40P=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
|