mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-30 17:43:42 +00:00
debf4fc929
Update the default GNAT version from 9 to 11, as GNAT >= 11 is required to compile the 22.* AdaCore libraries. To allow this, we need to pick a patch from ghdl's master fixing a compilation problem with GNAT 11.
60 lines
1.7 KiB
Nix
60 lines
1.7 KiB
Nix
{ stdenv, fetchFromGitHub, fetchpatch, callPackage, gnat, zlib, llvm, lib
|
|
, backend ? "mcode" }:
|
|
|
|
assert backend == "mcode" || backend == "llvm";
|
|
|
|
stdenv.mkDerivation rec {
|
|
pname = "ghdl-${backend}";
|
|
version = "1.0.0";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "ghdl";
|
|
repo = "ghdl";
|
|
rev = "v${version}";
|
|
sha256 = "1gyh0xckwbzgslbpw9yrpj4gqs9fm1a2qpbzl0sh143fk1kwjlly";
|
|
};
|
|
|
|
patches = [
|
|
# Allow compilation with GNAT 11, picked from master
|
|
(fetchpatch {
|
|
name = "fix-gnat-11-compilation.patch";
|
|
url = "https://github.com/ghdl/ghdl/commit/8356ea3bb4e8d0e5ad8638c3d50914b64fc360ec.patch";
|
|
sha256 = "04pzn8g7xha8000wbjjmry6h1grfqyn3bjvj47hi4qwgl21wfjra";
|
|
})
|
|
];
|
|
|
|
LIBRARY_PATH = "${stdenv.cc.libc}/lib";
|
|
|
|
buildInputs = [ gnat zlib ] ++ lib.optional (backend == "llvm") [ llvm ];
|
|
propagatedBuildInputs = lib.optionals (backend == "llvm") [ zlib ];
|
|
|
|
preConfigure = ''
|
|
# If llvm 7.0 works, 7.x releases should work too.
|
|
sed -i 's/check_version 7.0/check_version 7/g' configure
|
|
'';
|
|
|
|
configureFlags = [ "--enable-synth" ] ++ lib.optional (backend == "llvm")
|
|
"--with-llvm-config=${llvm.dev}/bin/llvm-config";
|
|
|
|
hardeningDisable = [ "format" ];
|
|
|
|
enableParallelBuilding = true;
|
|
|
|
passthru = {
|
|
# run with either of
|
|
# nix-build -A ghdl-mcode.passthru.tests
|
|
# nix-build -A ghdl-llvm.passthru.tests
|
|
tests = {
|
|
simple = callPackage ./test-simple.nix { inherit backend; };
|
|
};
|
|
};
|
|
|
|
meta = with lib; {
|
|
homepage = "https://github.com/ghdl/ghdl";
|
|
description = "VHDL 2008/93/87 simulator";
|
|
maintainers = with maintainers; [ lucus16 thoughtpolice ];
|
|
platforms = platforms.linux;
|
|
license = licenses.gpl2;
|
|
};
|
|
}
|