diff options
Diffstat (limited to 'pkgs/development/coq-modules/compcert/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/compcert/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix index 00b0bf49a39e..68a839cc4e8b 100644 --- a/pkgs/development/coq-modules/compcert/default.nix +++ b/pkgs/development/coq-modules/compcert/default.nix @@ -13,6 +13,8 @@ targets = { aarch64-linux = "aarch64-linux"; x86_64-darwin = "x86_64-macos"; aarch64-darwin = "aarch64-macos"; + riscv32-linux = "rv32-linux"; + riscv64-linux = "rv64-linux"; }; target = targets.${stdenv.hostPlatform.system} |