Fix for riscv-pk.rb

Addressing #99 Signed-off-by: Giovanni Merlino <giovanni.merlino@unime.it>
riscv-software-src · Jun 6, 2023 · 176c604 · 176c604
1 parent 4118a5a
commit 176c604
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/riscv-pk.rb b/riscv-pk.rb
@@ -20,7 +20,8 @@ def install
 
     mkdir "build"
     cd "build" do
-      system "../configure", "--prefix=#{prefix}", "--host=riscv64-unknown-elf"
+      system "../configure", "--prefix=#{prefix}", "--host=riscv64-unknown-elf", \
+        "--with-arch=rv64imafdc_zifencei"
       # Requires gnu-sed's behavior to build, and don't want to change -Wno-unused
       inreplace "Makefile", " sed", " gsed"
       system "make", "install"