{ pkgs, hx }: let symbiflowInput = pkgs.runCommand "helloworld-symbiflow-input" { buildInputs = [ (pkgs.python3.withPackages(ps: [hx.drvs.nmigen hx.drvs.heavycomps])) hx.drvs.yosys ]; } '' mkdir $out python ${./helloworld_ecp5.py} > $out/top.il cat > $out/top.lpf << EOF LOCATE COMP "clk100" SITE "P3"; IOBUF PORT "clk100" IO_TYPE=LVDS; LOCATE COMP "serial_tx" SITE "A11"; IOBUF PORT "serial_tx" IO_TYPE=LVCMOS33; EOF echo -n "--um-45k --speed 8 --package CABGA381" > $out/device ''; in hx.lib.symbiflow.buildBitstream { name = "helloworld-bitstream"; src = symbiflowInput; }