Commit 033ae016 authored by Steven Keuchel's avatar Steven Keuchel Committed by Vincent Laporte
Browse files

compcert: add riscv-linux targets

parent 954aa030

pkgs/development/coq-modules/compcert/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -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}