From 94d1d0aa2f9a8432269571c321cacf0b8a4c78db Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Wed, 16 Oct 2024 17:14:42 +0200 Subject: [PATCH] enable extensions --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4ea7a442..ebb11f5a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -44,6 +44,7 @@ jobs: echo "ENABLE_VERIFIC := 1" >> Makefile.conf echo "ENABLE_VERIFIC_EDIF := 1" >> Makefile.conf echo "ENABLE_VERIFIC_LIBERTY := 1" >> Makefile.conf + echo "ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 1" >> Makefile.conf echo "ENABLE_CCACHE := 1" >> Makefile.conf make -j${{ env.procs }} make install DESTDIR=${GITHUB_WORKSPACE}/.local PREFIX=