set -e
+export KESTREL=/home/$SUDO_USER/src/kestrel
echo "Refreshing Python data files from current LibreSoC sources..."
cd /home/$SUDO_USER/src/soc
-python3 src/soc/simple/issuer_verilog.py --fabric-compat --enable-core --enable-mmu --enable-xics --disable-svp64 --disable-pll --debug dmi external_core_top.v
-cp -Rp external_core_top.v /home/src/kestrel/pythondata-cpu-libresoc/pythondata_cpu_libresoc/hdl/external_core_top.v
+python3 src/soc/simple/issuer_verilog.py --fabric-compat --enable-core \
+ --enable-mmu --enable-xics \
+ --disable-svp64 --disable-pll \
+ --debug dmi external_core_top.v
+cp -Rp external_core_top.v \
+ $KESTREL/pythondata-cpu-libresoc/pythondata_cpu_libresoc/hdl/external_core_top.v
echo "Building Kestrel..."
-cd /home/$SUDO_USER/src/kestrel/litex-boards/litex_boards/targets
-./rcs_arctic_tern_bmc_card.py --device=LFE5UM --cpu-type=libresoc --cpu-variant=standard+irq --with-ethernet --with-video --build --nextpnr-seed 1 --sys-clk-freq=50e6 --remote-ip 192.168.1.1
+cd $KESTREL/litex-boards/litex_boards/targets
+./rcs_arctic_tern_bmc_card.py --device=LFE5UM --cpu-type=libresoc \
+ --cpu-variant=standard+irq \
+ --with-ethernet --with-video \
+ --build --nextpnr-seed 1 \
+ --sys-clk-freq=50e6 --remote-ip 192.168.1.1