FPGAwars / apio

:seedling: Open source ecosystem for open FPGA boards
https://github.com/FPGAwars/apio/wiki
GNU General Public License v2.0
801 stars 138 forks source link

Package verification should consider also platform id or package selector. #465

Open zapta opened 1 week ago

zapta commented 1 week ago

When verifying the installation of required packages, we should also verify that the packages are of the current package selector. Mismatches can happen for example if installing using a different --platform_id.

When registering a package installation in the profile, we can also register the platform_id use and/or the package selector of that install.