You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
79 lines
2.6 KiB
79 lines
2.6 KiB
self: super:
|
|
rec {
|
|
yosys = super.yosys.overrideAttrs(oa: rec {
|
|
name = "yosys-${version}";
|
|
version = "0.9";
|
|
srcs = [
|
|
(super.fetchFromGitHub {
|
|
owner = "yosyshq";
|
|
repo = "yosys";
|
|
rev = "yosys-${version}";
|
|
sha256 = "0lb9r055h8y1vj2z8gm4ip0v06j5mk7f9zx9gi67kkqb7g4rhjli";
|
|
name = "yosys";
|
|
})
|
|
|
|
# NOTE: the version of abc used here is synchronized with
|
|
# the one in the yosys Makefile of the version above;
|
|
# keep them the same for quality purposes.
|
|
(super.fetchFromGitHub {
|
|
owner = "berkeley-abc";
|
|
repo = "abc";
|
|
rev = "3709744c60696c5e3f4cc123939921ce8107fe04";
|
|
sha256 = "18a9cjng3qfalq8m9az5ck1y5h4l2pf9ycrvkzs9hn82b1j7vrax";
|
|
name = "yosys-abc";
|
|
})
|
|
];
|
|
buildInputs = oa.buildInputs ++ [ super.zlib ];
|
|
});
|
|
nextpnr = super.nextpnr.overrideAttrs(oa: rec {
|
|
name = "nextpnr-${version}";
|
|
version = "2019-07-22";
|
|
src = super.fetchFromGitHub {
|
|
owner = "yosyshq";
|
|
repo = "nextpnr";
|
|
rev = "ba050c21b94e816f9dd69f69b23ad5105858f401";
|
|
sha256 = "1wxsv1lcbi6bvv5vryvjz9mj530iva85wh6b6pvnfff2i4yc3p9q";
|
|
};
|
|
buildInputs = oa.buildInputs ++ [ super.eigen ];
|
|
cmakeFlags = oa.cmakeFlags ++ [ "-DUSE_OPENMP=ON" ];
|
|
});
|
|
icestorm = super.icestorm.overrideAttrs(oa: rec {
|
|
name = "icestorm-${version}";
|
|
version = "2019-07-03";
|
|
src = super.fetchFromGitHub {
|
|
owner = "cliffordwolf";
|
|
repo = "icestorm";
|
|
rev = "792cef084a751e32f541332feb4905f8e49e9943";
|
|
sha256 = "115qmgcz5ndw4z8ivk1cdlz6i2dzhq195gr8y4fjrjcb5jlacz23";
|
|
};
|
|
});
|
|
trellis = super.trellis.overrideAttrs(oa: rec {
|
|
name = "trellis-${version}";
|
|
version = "2019-07-18";
|
|
srcs = [
|
|
(super.fetchFromGitHub {
|
|
owner = "symbiflow";
|
|
repo = "prjtrellis";
|
|
rev = "b27c0da5d20a4c105fe9be2b5f8d859316613f44";
|
|
sha256 = "12jcs64agv5yhqq4zwjp2vd9y248608hz1gj187g1cfqrv0yc8d5";
|
|
name = "trellis";
|
|
})
|
|
(super.fetchFromGitHub {
|
|
owner = "symbiflow";
|
|
repo = "prjtrellis-db";
|
|
rev = "b4d626b6402c131e9a035470ffe4cf33ccbe7986";
|
|
sha256 = "0k26lq6c049ja8hhqcljwjb1y5k4gcici23l2n86gyp83jr03ilx";
|
|
name = "database";
|
|
})
|
|
];
|
|
});
|
|
|
|
llvm_7 = super.llvm_7.overrideAttrs(oa: {
|
|
name = oa.name + "-riscv";
|
|
cmakeFlags = oa.cmakeFlags ++ ["-DLLVM_EXPERIMENTAL_TARGETS_TO_BUILD=RISCV"];
|
|
});
|
|
rustc = super.rustc.overrideAttrs(oa: {
|
|
patches = oa.patches ++ [ ./compilers/rustc-riscv32i.patch ];
|
|
});
|
|
rustPlatform = super.makeRustPlatform { inherit rustc; inherit (super) cargo; };
|
|
}
|