npc,ci: add npc to nix packages

.gitea/workflows/build-nix-package.yml

@@ -8,20 +8,21 @@ on:
       - master
 
 jobs:
-  build-abstract-machine:
+  build-packages:
     runs-on: nix
+    strategy:
+      matrix:
+        package:
+          - "abstract-machine"
+          - "nemu"
+          - "nemu-lib"
+          - "rv32Cross.abstract-machine"
     steps:
       - uses: https://github.com/cachix/cachix-action@v14
         with:
           name: ysyx
           authToken: '${{ secrets.CACHIX_SIGNING_KEY }}'
       - uses: actions/checkout@v4
-        with:
-          submodules: true
-      - name: Build abstract-machine
+      - name: Build package
         run: |
-          nix build .?submodules=1#abstract-machine
-      - name: Build nemu
-        run: |
-          nix build .?submodules=1#nemu
-
+          nix build -L .#${{ matrix.package }}

.gitea/workflows/build-npc.yml

@@ -0,0 +1,18 @@
+name: Run CTests within npc
+on: [push]
+
+jobs:
+  npc-test:
+    strategy:
+      matrix:
+        package: [ "flow", "flow-simlib"]
+    runs-on: nix
+    steps:
+      - uses: https://github.com/cachix/cachix-action@v14
+        with:
+          name: ysyx
+          authToken: '${{ secrets.CACHIX_SIGNING_KEY }}'
+      - uses: actions/checkout@v4
+      - name: Build package
+        run: |
+          nix build -L .#${{ matrix.package }}

.gitea/workflows/npc-test.yml

@@ -1,51 +0,0 @@
-name: Run CTests within npc
-on: [push]
-
-jobs:
-  npc-test:
-    runs-on: nix
-    steps:
-      - uses: https://github.com/cachix/cachix-action@v14
-        with:
-          name: ysyx
-          authToken: '${{ secrets.CACHIX_SIGNING_KEY }}'
-      - uses: actions/checkout@v4
-        with:
-          submodules: true
-      - name: Cache develop environment
-        id: cache-nix-develop
-        uses: actions/cache@v4
-        with:
-          path: |
-            /nix/store
-            /nix/var/nix/db
-          key: nix-develop-${{ hashFiles('flake.*') }}
-      - name: Fetch nix store
-        if: steps.cache-nix-develop.outputs.cache-hit != 'true'
-        run: nix develop .#npc --command true
-      - name: Use develop environment
-        uses: https://git.xinyang.life/xin/nix-develop@main
-        with:
-          arguments: .#npc
-      - name: Cache sbt dependencies
-        id: cache-sbt-dependency
-        uses: actions/cache@v4
-        with:
-          path: |
-            npc/core
-            ~/.cache/coursier
-            ~/.ivy2/cache
-            ~/.sbt
-          key: core-${{ hashFiles('npc/core/build.sbt') }}
-      - name: Fetch sbt dependencies
-        if: steps.cache-sbt-dependency.outputs.cache-hit != 'true'
-        run: |
-          cd npc/core
-          sbt update
-      - name: Run difftests
-        run: |
-          mkdir -p npc/build
-          cd npc/build
-          cmake $cmakeFlags ../
-          make -j8
-          ctest -V