cmake: Add RISC-V default toolchains to gcc.cmake

seL4 · Apr 18, 2018 · 42230e2 · 42230e2
1 parent 61df56a
commit 42230e2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/gcc.cmake b/gcc.cmake
@@ -30,6 +30,10 @@ if("${CROSS_COMPILER_PREFIX}" STREQUAL "")
         set(CROSS_COMPILER_PREFIX "arm-linux-gnueabihf-" CACHE INTERNAL "")
     elseif(AARCH64)
         set(CROSS_COMPILER_PREFIX "aarch64-linux-gnu-" CACHE INTERNAL "")
+    elseif(RISCV32)
+        set(CROSS_COMPILER_PREFIX "riscv32-unknown-elf-" CACHE INTERNAL "")
+    elseif(RISCV64)
+        set(CROSS_COMPILER_PREFIX "riscv64-unknown-elf-" CACHE INTERNAL "")
     endif()
 endif()