Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
SymbiFlow for Nixpkgs
with import <nixpkgs> {};
let
nextpnr-gui = pkgs.nextpnr; # gui by default on upstream
nextpnr-nogui = pkgs.nextpnr.override { enableGui = false; };
common-pkgs = with pkgs; [
symbiyosys yosys verilog verilator
icestorm trellis
z3 yices boolector
];
makePackage = name: pnr: pkgs.buildEnv {
inherit name;
paths = [ pnr ] ++ common-pkgs;
};
in
{
symbiflow = makePackage "symbiflow" nextpnr-gui;
symbiflow-nogui = makePackage "symbiflow-nogui" nextpnr-nogui;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.