Update to sdfgen 0.16.1

Signed-off-by: Ivan-Velickovic <[email protected]>
au-ts · Jan 30, 2025 · 5d2adf1 · 5d2adf1
1 parent 2af6bcf
commit 5d2adf1
Show file tree

Hide file tree

Showing 8 changed files with 12 additions and 12 deletions.
diff --git a/.github/workflows/examples.yaml b/.github/workflows/examples.yaml
@@ -36,7 +36,7 @@ jobs:
       - name: Setup pyenv
         run: |
           python3 -m venv venv
-          ./venv/bin/pip install sdfgen==0.15.0
+          ./venv/bin/pip install sdfgen==0.16.1
       - name: Build and run examples
         run: ./ci/examples.sh ${PWD}/microkit-sdk-1.4.1-dev.54+a8b7894-linux-x86-64
         shell: bash
@@ -74,7 +74,7 @@ jobs:
       - name: Setup pyenv
         run: |
           python3 -m venv venv
-          ./venv/bin/pip install sdfgen
+          ./venv/bin/pip install sdfgen==0.16.1
       - name: Download and install AArch64 GCC toolchain
         run: |
           wget -O aarch64-toolchain.tar.xz https://trustworthy.systems/Downloads/microkit/arm-gnu-toolchain-12.3.rel1-darwin-arm64-aarch64-none-elf.tar.xz

diff --git a/examples/blk/meta.py b/examples/blk/meta.py
@@ -83,7 +83,7 @@ def generate(sdf_file: str, output_dir: str, dtb: DeviceTree):
         assert timer_system.serialise_config(output_dir)
 
     with open(f"{output_dir}/{sdf_file}", "w+") as f:
-        f.write(sdf.xml())
+        f.write(sdf.render())
 
 
 if __name__ == '__main__':

diff --git a/examples/echo_server/meta.py b/examples/echo_server/meta.py
@@ -270,7 +270,7 @@ def generate(sdf_file: str, output_dir: str, dtb: DeviceTree):
         f.write(bench_client_config.serialise())
 
     with open(f"{output_dir}/{sdf_file}", "w+") as f:
-        f.write(sdf.xml())
+        f.write(sdf.render())
 
 
 if __name__ == '__main__':

diff --git a/examples/i2c/meta.py b/examples/i2c/meta.py
@@ -76,7 +76,7 @@ def generate(sdf_file: str, output_dir: str, dtb: DeviceTree):
     assert timer_system.serialise_config(output_dir)
 
     with open(f"{output_dir}/{sdf_file}", "w+") as f:
-        f.write(sdf.xml())
+        f.write(sdf.render())
 
 
 if __name__ == '__main__':

diff --git a/examples/serial/meta.py b/examples/serial/meta.py
@@ -87,7 +87,7 @@ def generate(sdf_file: str, output_dir: str, dtb: DeviceTree):
     assert serial_system.serialise_config(output_dir)
 
     with open(f"{output_dir}/{sdf_file}", "w+") as f:
-        f.write(sdf.xml())
+        f.write(sdf.render())
 
 
 if __name__ == '__main__':

diff --git a/examples/timer/meta.py b/examples/timer/meta.py
@@ -89,7 +89,7 @@ def generate(sdf_file: str, output_dir: str, dtb: DeviceTree):
     assert timer_system.serialise_config(output_dir)
 
     with open(f"{output_dir}/{sdf_file}", "w+") as f:
-        f.write(sdf.xml())
+        f.write(sdf.render())
 
 
 if __name__ == '__main__':

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -8,7 +8,7 @@
   inputs = {
     nixpkgs.url = "github:NixOS/nixpkgs/nixos-24.11";
     zig-overlay.url = "github:mitchellh/zig-overlay";
-    sdfgen.url = "github:au-ts/microkit_sdf_gen/0.15.0";
+    sdfgen.url = "github:au-ts/microkit_sdf_gen/0.16.1";
   };
 
   outputs = { nixpkgs, zig-overlay, sdfgen, ... }: