From 890baffdbf5caccc4236088c7cbd3c883449580b Mon Sep 17 00:00:00 2001 From: Jason Belt Date: Wed, 13 Nov 2024 09:19:41 -0600 Subject: [PATCH] update ci yml --- .github/workflows/ci-hamr.yml | 22 ++-------------------- 1 file changed, 2 insertions(+), 20 deletions(-) diff --git a/.github/workflows/ci-hamr.yml b/.github/workflows/ci-hamr.yml index 0a5ccef..07fab27 100644 --- a/.github/workflows/ci-hamr.yml +++ b/.github/workflows/ci-hamr.yml @@ -56,22 +56,7 @@ jobs: apt-get update ${aptInstall} p7zip-full - # Installing emacs installs some package(s) that resolve an issue where - # the OSATE gumbo parser fails to initialize when used in the docker container. - #${aptInstall} emacs - - # github sets HOME to /github/home but some tools (Sireum's Os.home, Haskell) use - # the containers /root instead leading to inconsistent installs. Setting HOME - # to be root resolves the issue - # https://github.com/actions/runner/issues/1474#issuecomment-965805123 - export HOME=/root - - export GITHUB_DIR=$(pwd) - - mv ./inspecta $HOME/ - mv ./kekinian $HOME/ - - cd $HOME/ + export HOME=$(pwd) export SIREUM_HOME=$HOME/kekinian export PATH=$SIREUM_HOME/bin:$PATH @@ -85,9 +70,6 @@ jobs: export OSATE_HOME=$SIREUM_HOME/hamr/codegen/bin/linux/osate export MICROKIT_BOARD=qemu_virt_aarch64 - export MICROKIT_SDK=$HOME/microkit/release/microkit-sdk-1.4.1-dev.14+cf88629 + export MICROKIT_SDK=/root/microkit/release/microkit-sdk-1.4.1-dev.14+cf88629 $HOME/inspecta/micro-examples/microkit/.ci/test.cmd - - # move kekinian back in order for caching to work - mv $HOME/kekinian $GITHUB_DIR/