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;
}