Merge pull request #1118 from ucb-bar/bump-firesim

Bump FireSim to 1.13.0
This commit is contained in:
Abraham Gonzalez
2022-02-15 22:40:13 -08:00
committed by GitHub
2 changed files with 2 additions and 3 deletions

View File

@@ -9,12 +9,11 @@ REMOTE_MAKE_NPROC=4
VERILATOR_VERSION=v4.034
HOME=$GITHUB_WORKSPACE
CURRENT_BRANCH=$(git branch --show-current)
# remote variables
# CI_DIR is defined externally based on the GH repository secret BUILDDIR
REMOTE_PREFIX=$CI_DIR/${GITHUB_REPOSITORY#*/}-$CURRENT_BRANCH
REMOTE_PREFIX=$CI_DIR/${GITHUB_REPOSITORY#*/}-${GITHUB_REF_NAME//\//-}
REMOTE_WORK_DIR=$GITHUB_WORKSPACE
REMOTE_RISCV_DIR=$GITHUB_WORKSPACE/riscv-tools-install
REMOTE_ESP_DIR=$GITHUB_WORKSPACE/esp-tools-install