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

more notes about yosys and ghdl

require specific versions of yosys and ghdl and ghdl plugin sigh

add python3-jinja2 to list of dependencies

fix broken build on ppc64le

add comment about libxml2

update vtr to latest master, stops the segfault

disable python and gui build of nextpnr-ecp5

add ghdl-yosys-plugin, update links to yosyshq

add python3-cffi to depedencies

replace github download of nmigen with libre-soc.
add nmigen-boards

Add git-man/buster to git install  and minor shell line fix

Added git-man/buster to git install line so that git successfully installs.
A minor shell line fix.

Install TBB and build vtr with TBB and other fixes

Add TBB installation and build vtr with TBB for multi-threading.
Give option to select tbb and vtr building.
Many other fixes.

add buster-backports and fpga-interchange

Fix for vtr file path

Initial Symbiflow toolchain addition

coriolis-install: Changed example cell name to chip_r

coriolis2-chroot: Added optional argument for specifying chroot name

coriolis2-chroot: Script updated to run all the steps outlined in bug #714.

coriolis-install: Script working. Did one run with existing schroot. Will test with a clean schroot before updating bug.

Removed duplicate coriolis scripts with old names.

coriolis-install, cp-scripts-to-chroot: adjusted names to align with the rest of the scripts.

use adder benchmark not ARM benchmark

alliance is installed locally, in the user home directory, not as a system-wide
install.
https://bugs.libre-soc.org/show_bug.cgi?id=696#c40

check out LS180_RC7_FINAL version of coriolis2

move symbiflow notes

coriolis_install: Now using USER var instead of SUDO_USER. Made .bash_profile edit into a var for both writing and echoing. Still debugging coriolisEnv.py

mk-deb-chroot: Moved brokenproxy cp command to after the debian chroot environment is setup (after which /etc/ will exist).

add sudo in front of chown/chgrp and make it at the top home level