fix homeless-shelter error

This commit is contained in:
Florian Agbuya 2024-03-01 16:11:12 +08:00
parent 86bffe7280
commit ad725ae41b

View File

@ -202,11 +202,20 @@
fast-servo/linien-fast-servo-server.patch fast-servo/linien-fast-servo-server.patch
]; ];
nativeBuildInputs = [ nativeBuildInputs = [
(pkgs.python3.withPackages(ps: [ migen misoc ps.linien-common ])) (pkgs.python3.withPackages(ps: [
migen misoc
(ps.linien-common.overrideAttrs(oa: {
# config.py tries to access $HOME, but we do not need it for building gateware
postPatch = ''
echo > linien_common/config.py
echo > linien_common/__init__.py
'';
doCheck = false;
}))
]))
vivado vivado
]; ];
buildPhase = '' buildPhase = ''
export HOME=$(mktemp -d)
python -m gateware.fpga_image_helper -p fastservo python -m gateware.fpga_image_helper -p fastservo
''; '';
installPhase = '' installPhase = ''