Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
SymbiFlow for Nixpkgs
with import <nixpkgs> {};
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;
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.