diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 52de67dd..33bcce20 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -60,7 +60,7 @@ jobs: - run: dune build @offline-coverage -j4 offline-cpp: - runs-on: ubuntu-24.04 + runs-on: ubuntu-24.04 # for recent llvm version steps: - uses: actions/checkout@v4 @@ -81,3 +81,27 @@ jobs: - name: 'syntax check generated C++ lifter' run: meson compile -C offlineASL-cpp/build + + offline-scala: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v4 + + - uses: cachix/install-nix-action@v25 + - run: echo 'preparing nix shell environment' + + - uses: actions/setup-java@v4 + with: + distribution: adopt + java-version: 17 + + - uses: coursier/cache-action@v6 + - run: cs install mill + + - run: dune build --profile release + - run: echo ':gen A64 .* scala true offlineASL-scala/lifter/generated' | OCAMLRUNPARAM=b dune exec asli + + - run: mill lifter.assembly + - run: mill main.compile + - run: mill main.run --opcode 0x8b031041 diff --git a/offlineASL-scala/readme.md b/offlineASL-scala/readme.md index 6246252c..00964fd6 100644 --- a/offlineASL-scala/readme.md +++ b/offlineASL-scala/readme.md @@ -1,9 +1,9 @@ -Build standalone Scala lifter interface +Build standalone Scala lifter interface. -``` -# (in parent direictory) -~ echo ':gen A64 aarch64.+ scala true scalaOfflineASL/lifter/generated' | dune exec asli -~ cd scalaOfflineASL -~ ./mill lifter.assembly -~ ./mill main.run +Requires Mill (e.g. installed by Coursier). Run in parent directory: +```bash +echo ':gen A64 aarch64.+ scala true offlineASL-scala/lifter/generated' | dune exec asli +cd offlineASL-scala +mill lifter.assembly +mill main.run --opcode 0x8b031041 ```