Fix python-utils version

Recent python-utils (pulled by progressbar2) is incompatible with older
Python.

symbiflow-arch-defs needs newer cmake

Allow choosing an alternate Debian mirror for the chroot

For now, keep using the UK one as default.

nextpnr-xilinx-install: generate database for XC7A200T

Enables bit file support for the FPGA in the Nexys Video board.

ice40k-toolchain: New script for installing icestorm, nextpnr, tinyprog. For small ice40 FPGAs

hdl-dev-repos: move mdis dependency atop

hdl-dev-repos: introduce mdis dependency

switch to pytest-xdist==3.3.1 pytest==7.3.1

nextpnr-xilinx-install: Missed -y flag for apt install

add pytest to install dependencies

hdl-dev-repos: Fixed cd path for pyvcd

hdl-dev-repos: Changed pyvcd to 0.2.4

hdl-dev-repos: Added pyvcd dependency (for normal and virtualenv scripts)
install-hdl-apt-reqs: Added python3-toml dependency

remove trailing spaces

add missing libpython3.7-dev dependency

sigh forgot the "y" on install qemu-system-ppc

nextpnr-ecp5-install: Pinning prjterllis version to 1.2.1 as per bug #989

fix(tasyagle-install): avt_env script moved to comply with FHS

feat(tasyagle-install): Added flex removal, running example (which fails)

add libgtest-dev to install-hdl-apt-reqs
https://bugs.libre-soc.org/show_bug.cgi?id=228

use specific version of alliance-check-toolkit

whoops add wget to coriolis-install

set buster-backports pin-priority to low so as to stop it being
used by default

check if schroot and debootstrap installed already

tasyagle-install: workaround to reload .bashrc works, can now compile docs in one go

tasyagle-install: Added check with .bashrc, commented out doc generation

tasyagle-install: Change file ownership to sudo_user

tasyagle-install: Add jdk package, make docs

update to released version of cvc5 that includes powerpc64le fixes

https://bugs.libre-soc.org/show_bug.cgi?id=891

tasyagle-install: was overwriting .bashrc...

tasyagle-install: Added login source for avt_env.sh

tasyagle-install: Install to /usr/local

meson dependency moved to linstaoo-mesa-deps

installing mesa deps needs meson drm mesa first

cannot install sysvinit-core

qemu backports explicit install separate from other packages

add mesa build dependencies

install meson as build dependency

tasyagle-install: added origin and libresoc repos

needs -y on apt-get

add texlive latex extra

add inkscape build depenndency

add new build dependencies

fix package-pin on libcurl3-gnutls

adapt devscripts to only do buster-backports once

Added full deps from debian file

tasyagle: Added a few more package deps, not working

do not run dependent scripts

tasyagle script more functional

Created tasyagle script, not functional yet

Add initial support for cvc5 and bitwuzla

pin libcurl3-gnutls

pin libcurl3-gnutls

add migen to hdl-kestrel-repos

whitespace, keep to 80 char limit

Add build scripts for Kesrel Zephyr firmware image

adding path-exports for nextpnr-ecp5, ecppack, ecpbram etc.

add mention of dependent scripts needed for kestrel build

add missing gcc-powerpc64-linux-gnu package

whitespace cleanup

env-var $KESTREL, keep (as much as possible) to 80 chars

add bitwuzla/cvc5 to hdl-tools-yosys

Add Kestrel install and build scripts

update yosys tag

clone from libre-soc.org for SymbiYosys

Add support for libisl in binutils

set src directory to $SUDO_USER

update to 0.13-with-write_jny tag in yosys

add python3-setuptools-scm to list of dependencies in mk-deb-chroot

Add ldconfig command to installation, fixes library not found

remove prefix, install in /usr/local as default

Removed HOST variable and --host option to configure

Remove one configure option so to make warning as error

Add initial binutils-gdb install script

add reproducible script

charter, yken

add README

missing quote

comments on fasm build dependencies

add libantlr etc. to nextpnr-xilinx-install,

comments on why cp-scripts-to-chroot is needed

add manual install/download of fasm-0.0.2.post88

check out verilog-wishbone at specific tag

add verilog-wishbone (for async bridge) to hdl-dev-ls2

Add fpga-boot-load-prog-install script

Remove and add yosys and nextpnr-xilinx pkg dependencies

Remove yosys dependencies
Add proper prjxray dependencies
Use python3 setup.py develop for prjxray
Add proper nextpnr-xilinx dependencies

also add powerpc64le gcc compiler

add tercel, uart and ethmac to ls2 repos

add no-deps to nmigen_boards

remove backports and installation of yosys, this is
the responsibility of the yosys-install script

Add nextpnr-xilinx installation script

update iverilog to known-good version d8cb29f6e0

add devscript for ls2, bork-fix nmigen dependency grr

add ls2 repo

add minicom to dependencies

add specific versions for nextpnr-ecp5

sort out pinmux

use gitlab nmigen repos for now

install powerpc gcc afterwards in case it fails

mkdir -p on /opt/chroot/$chrootdir