pa2.2: klib and difftest #1

Merged
xin merged 16 commits from pa2 into master 2024-03-26 03:00:50 +00:00
2 changed files with 24 additions and 2 deletions
Showing only changes of commit d5521806d9 - Show all commits

View file

@ -0,0 +1,22 @@
name: Build abstract machine with nix
on: [push]
jobs:
build-abstract-machine:
runs-on: nix
steps:
- uses: https://github.com/cachix/cachix-action@v14
with:
name: ysyx
signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
- uses: actions/checkout@v4
sparse-checkout: |
flake.nix
abstract-machine
- name: Build abstract-machine
run: |
nix build .#abstract-machine
- name: Build nemu
run: |
nix build .#nemu

View file

@ -20,10 +20,10 @@
};
in
{
packages.nemu = pkgs.callPackage ./nemu { am-kernels = self.packages.${system}.am-kernels-cmake; };
packages.nemu = pkgs.callPackage ./nemu { am-kernels = self.packages.${system}.am-kernels; };
packages.abstract-machine = crossPkgs.callPackage ./abstract-machine { isa = "riscv"; platform = "nemu"; };
packages.am-kernels-cmake = crossPkgs.stdenv.mkDerivation rec {
packages.am-kernels = crossPkgs.stdenv.mkDerivation rec {
pname = "am-kernels-cmake";
version = "2024.02.18";