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

do not use parallel make. guaranteed to fail and/or far too heavy a load

run under bash

cp-scripts-to-chroot.sh: New script for copying this repo's scripts over to specified chroot

Added missing /bin/bash at the start, bug 696 still occurring for me

oooo annoying, scroot refuses to go if done in wrong directory

rm-deb-chroot: Added a script for removing the configuration files and the root files for a specified chroot

mk-deb-chroot: made schroot profile config into a variable containing the text. Variable is used with cat and echo (before echo print was missing the profile=)

Adding coriolis_install for installing coriolis by a normal user (expected to be used within a chroot environment)

Added check to see if brokenproxy apt fix was already done previously on host debian system

Changed chown and chgrp to change ownership of the . directory (hdl_tools)

ARGH getting really fed up with ISP transparent proxies that break

add apt-acquire-retries to coriolis2-chroot

sort out coriolis-chroot

add apt-acquire-retries to both chroot and host

add apt-acquire-retries to stop debootstrap failing

do not use external unauthorised uncontrolled servers.
do not run external scripts from completely uncontrolled servers that
could be hacked (or terminated, or go offline)

add python 2.7 to list of packages to install

update pia-install to use libre-soc-install.sh

update pia-install to use libre-soc-install.sh

Do not create duplicate sections in schroot.conf

Exit if the chroot directory already exists

Use pacman, not apt, when on Arch Linux