Merge pull request #1969 from enjoy-digital/ghdl_fix

ci: Build/Install GHDL from sources.
This commit is contained in:
enjoy-digital 2024-05-28 15:20:43 +02:00 committed by GitHub
commit 914167cb75
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 10 additions and 4 deletions

View File

@ -13,10 +13,6 @@ jobs:
- name: Setup CCache
uses: hendrikmuhs/ccache-action@v1.2
- uses: ghdl/setup-ghdl-ci@master
with:
backend: llvm
# Install Tools
- name: Install Tools
run: |
@ -47,6 +43,16 @@ jobs:
sudo python3 litex_setup.py --gcc=openrisc
sudo python3 litex_setup.py --gcc=powerpc
# Build / Install GHDL
- name: Build GHDL
run: |
sudo apt-get install gnat llvm
git clone https://github.com/ghdl/ghdl.git
cd ghdl
./configure --with-llvm-config
make
sudo make install
# Build / Install Verilator
- name: Build Verilator
run: |