🐛

flake.nix

@@ -17,12 +17,12 @@
       in {
         devShell = pkgs.mkShell {
           buildInputs = with pkgs; [
-            llvmPackages_16.bintools
-            llvmPackages_16.libllvm
-            llvmPackages_16.llvm
-            llvmPackages_16.stdenv
+            llvmPackages_17.bintools
+            llvmPackages_17.libllvm
+            llvmPackages_17.llvm
+            llvmPackages_17.stdenv
             rocmPackages.llvm.polly
-            clang
+            clang_17
             rustup
             glib
             gcc

zci.toml

@@ -27,13 +27,13 @@ server_port = 8080
 [compile]
 cache = false
 # compiler = "clang"
-compiler = "compiler"
+compiler = "compiler-cs"
 # compile_cmd = "{compiler} -S {sy} -l {asm} -o /dev/null"
-compile_cmd = "{compiler} -S {sy} -o {asm}"
+compile_cmd = "{compiler} -S {sy} -o {asm} -O"
 
 [asm2bin]
 cache = false
-asm2bin_cmd = "riscv64-unknown-linux-gnu-gcc {asm} -Llib -lsysy -march=rv64gc -o {bin}"
+asm2bin_cmd = "riscv64-unknown-linux-gnu-gcc {asm} -I lib -Llib -lsysy -march=rv64gc -o {bin}"
 
 [execute]
 cache = false
@@ -44,8 +44,8 @@ intermediary_break = false
 
 [expect]
 cache = false
-compile_cmd = "riscv64-unknown-linux-gnu-gcc -x c {sy} -S -o {asm} -march=rv64gc"
-asm2bin_cmd = "riscv64-unknown-linux-gnu-gcc {asm} -Lsysy-data/lib -lsysy -march=rv64gc -o {bin}"
+compile_cmd = "riscv64-unknown-linux-gnu-gcc -x c {sy} -I lib -S -o {asm} -march=rv64gc"
+asm2bin_cmd = "riscv64-unknown-linux-gnu-gcc {asm} -I lib -Llib -lsysy -march=rv64gc -o {bin}"
 execute_cmd = "qemu-riscv64 {bin}"
 
 [clean]