Merge pull request #177 from ucb-bar/dev

* Fix compilation errors for large floating-point configs * Disable on-demand paging for proxy-kernel workloads, because on-demand paging doesn't work well with large binaries * Change CI from CircleCI to GitHub Actions
ucb-bar · Dec 20, 2021 · 69242c9 · 69242c9
2 parents 9ff9c50 + ff8c78b
commit 69242c9
Show file tree

Hide file tree

Showing 20 changed files with 179 additions and 264 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/.circleci/create-hash.sh b/.circleci/create-hash.sh
diff --git a/.circleci/build-toolchains.sh → .github/scripts/build-toolchains.sh b/.circleci/build-toolchains.sh → .github/scripts/build-toolchains.sh
@@ -15,7 +15,9 @@ set -ex
 SCRIPT_DIR="$( cd "$( dirname "$0" )" && pwd )"
 source $SCRIPT_DIR/defaults.sh
 
-if [ ! -d "$HOME/$1-install" ]; then
+INSTALL_DIR="$HOME/$1-install"
+
+if [ ! -d "$INSTALL_DIR" ]; then
     cd $HOME
 
     git clone --progress --verbose https://github.com/ucb-bar/chipyard.git chipyard
@@ -30,3 +32,4 @@ if [ ! -d "$HOME/$1-install" ]; then
     # init all submodules including the tools (doesn't use CI_MAKE_PROC due to mem. constraints)
     CHIPYARD_DIR="$LOCAL_CHIPYARD_DIR" NPROC=$CI_MAKE_NPROC $LOCAL_CHIPYARD_DIR/scripts/build-toolchains.sh esp-tools
 fi
+
diff --git a/.circleci/defaults.sh → .github/scripts/defaults.sh b/.circleci/defaults.sh → .github/scripts/defaults.sh
@@ -22,13 +22,17 @@ VERILATOR_VERSION=v4.034
 
 # local variables (aka within the docker container)
 LOCAL_WORK_DIR=$HOME
-LOCAL_CHECKOUT_DIR=$HOME/project
+LOCAL_CHECKOUT_DIR=$GITHUB_WORKSPACE/
 LOCAL_RISCV_DIR=$HOME/riscv-tools-install
 LOCAL_ESP_DIR=$HOME/esp-tools-install
 LOCAL_CHIPYARD_DIR=$HOME/chipyard
 LOCAL_SIM_DIR=$LOCAL_CHIPYARD_DIR/sims/verilator
 LOCAL_VERILATOR_DIR=$HOME/verilator-install
 
-# api url to do curls
-API_URL=https://circleci.com/api/v2
-
+echo "::set-output name=LOCAL_WORK_DIR::$LOCAL_WORK_DIR"
+echo "::set-output name=LOCAL_CHECKOUT_DIR::$LOCAL_CHECKOUT_DIR"
+echo "::set-output name=LOCAL_RISCV_DIR::$LOCAL_RISCV_DIR"
+echo "::set-output name=LOCAL_ESP_DIR::$LOCAL_ESP_DIR"
+echo "::set-output name=LOCAL_CHIPYARD_DIR::$LOCAL_CHIPYARD_DIR"
+echo "::set-output name=LOCAL_SIM_DIR::$LOCAL_SIM_DIR"
+echo "::set-output name=LOCAL_VERILATOR_DIR::$LOCAL_VERILATOR_DIR"
diff --git a/.circleci/do-rtl-build.sh → .github/scripts/do-rtl-build.sh b/.circleci/do-rtl-build.sh → .github/scripts/do-rtl-build.sh
diff --git a/.circleci/install-verilator.sh → .github/scripts/install-verilator.sh b/.circleci/install-verilator.sh → .github/scripts/install-verilator.sh
diff --git a/.circleci/prepare-for-rtl-build.sh → .github/scripts/prepare-for-rtl-build.sh b/.circleci/prepare-for-rtl-build.sh → .github/scripts/prepare-for-rtl-build.sh
diff --git a/.circleci/run-tests-rtl.sh → .github/scripts/run-tests-rtl.sh b/.circleci/run-tests-rtl.sh → .github/scripts/run-tests-rtl.sh
diff --git a/.circleci/run-tests-spike.sh → .github/scripts/run-tests-spike.sh b/.circleci/run-tests-spike.sh → .github/scripts/run-tests-spike.sh
@@ -10,7 +10,7 @@ source $SCRIPT_DIR/defaults.sh
 TOOLS_DIR=$LOCAL_ESP_DIR
 PATH=$PATH:$LOCAL_ESP_DIR/bin
 
-git clone git@github.com:ucb-bar/esp-isa-sim.git
+git clone https://github.com/ucb-bar/esp-isa-sim.git
 cd esp-isa-sim
 git checkout $(cat $LOCAL_CHECKOUT_DIR/SPIKE.hash)
 cp $LOCAL_CHIPYARD_DIR/generators/gemmini/software/gemmini-rocc-tests/include/gemmini_params.h gemmini/