Switch nextpnr-xilinx to the openXC7 fork

This fixes 2,5V leds on the Nexys Video.
openXC7 seems more stable that the upstream project at this time.
Use the latest released version (0.7.0).
See: https://bugs.libre-soc.org/show_bug.cgi?id=1004#c13

fix typo

Install powerpc gcc without a trailing "8"

This is needed by the Makefile of Microwatt's Hello World binary

add texlive-xetex package, needed for supporting "pi" symbol in
pandoc conversion of transcendental RFC

Revert "use https to clone"

This reverts commit bc8a15c5d523b6b98605328a6ff8c74266883d9f.

use https to clone

add pytest-subtests==0.11.0

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

hdl-dev-repos: pin Linux kernel tag

add ssh and rsync to install-hdl-reqs

hdl-dev-repos: specify syscalls generation mode

hdl-dev-repos: build syscalls table

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