Run with python3 project/ecp5_mini.py --build --load Append --device=25F to build for a non 12F ECP5. Thanks to Greg Davill for the soc-hr example.