nix: build gateware

This commit is contained in:
Sebastien Bourdeauducq 2019-02-09 15:07:16 +08:00
parent 2aab84453d
commit ee611c5c30
1 changed files with 5 additions and 2 deletions

View File

@ -1,3 +1,6 @@
# Install Vivado in /opt and add to /etc/nixos/configuration.nix:
# nix.sandboxPaths = ["/opt"];
{ pkgs ? import <nixpkgs> {}}: { pkgs ? import <nixpkgs> {}}:
let let
@ -43,12 +46,12 @@ in pkgs.stdenv.mkDerivation {
phases = [ "buildPhase" "installPhase" ]; phases = [ "buildPhase" "installPhase" ];
buildPhase = buildPhase =
'' ''
${buildenv}/bin/artiq-dev -c "CARGO_HOME=${cargoVendored} python -m artiq.gateware.targets.kasli -V tester --no-compile-gateware" ${buildenv}/bin/artiq-dev -c "CARGO_HOME=${cargoVendored} python -m artiq.gateware.targets.kasli -V tester"
''; '';
installPhase = installPhase =
'' ''
mkdir $out mkdir $out
#cp artiq_kasli/tester/gateware/top.bit $out cp artiq_kasli/tester/gateware/top.bit $out
cp artiq_kasli/tester/software/bootloader/bootloader.bin $out cp artiq_kasli/tester/software/bootloader/bootloader.bin $out
cp artiq_kasli/tester/software/runtime/runtime.{elf,fbi} $out cp artiq_kasli/tester/software/runtime/runtime.{elf,fbi} $out
''; '';