b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

sail-riscv-rv32,sail-riscv-rv64: fix build on x86_64-darwin

Browse source
This commit is contained in:
Et7f3 2023-04-08 23:47:31 +02:00
parent 2f0a70084d
commit 07c7ec4d1a
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
pkgs/applications/virtualization/sail-riscv/default.nix
View file

@ -1,5 +1,6 @@
{ stdenv
, fetchFromGitHub
, fetchpatch
, lib
, arch
, ocamlPackages
@ -24,14 +25,24 @@ stdenv.mkDerivation rec {
buildInputs = with ocamlPackages; [ zlib linksem ];
strictDeps = true;
patches = [
(fetchpatch {
url = "https://github.com/riscv/sail-riscv/pull/250/commits/8bd37c484b83a8ce89c8bb7a001b8ae34dc4d77f.patch";
hash = "sha256-tDgkGhcbT6phoCAvilxMI56YUuUqQFgvh+2QduOjdMg=";
})
];
postPatch = ''
rm -r prover_snapshots
'' + lib.optionalString stdenv.hostPlatform.isDarwin ''
substituteInPlace Makefile --replace "-flto" ""
'';
makeFlags = [
"SAIL=sail"
"ARCH=${arch}"
"SAIL_DIR=${ocamlPackages.sail}/share/sail"
"LEM_DIR=${ocamlPackages.sail}/share/lem"
];
installPhase = ''
@ -50,6 +61,7 @@ stdenv.mkDerivation rec {
homepage = "https://github.com/riscv/sail-riscv";
description = "A formal specification of the RISC-V architecture, written in Sail";
maintainers = with maintainers; [ genericnerdyusername ];
broken = stdenv.isDarwin && stdenv.isAarch64;
license = licenses.bsd2;
};
}