diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/docs.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index fcfb66c..eb87a63 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -9,6 +9,7 @@ env: LLVM_CONFIG: /usr/bin/llvm-config-10 PS_PACKAGES: libps4000 libps5000 libps6000 GMP_PACKAGES: libgmp-dev libmpfr-dev libmpc-dev + FLINT_PACKAGES: libflint-dev OTHER_PACKAGES: pandoc swig gcc libpcsclite-dev llvm-10 libllvm10 llvm-10-dev libpari-dev pari-gp pari-seadata gcc-arm-none-eabi binutils-arm-none-eabi libnewlib-arm-none-eabi jobs: @@ -50,7 +51,7 @@ jobs: sudo apt-get update - name: Install system dependencies run: | - sudo apt-get install -y $PS_PACKAGES $OTHER_PACKAGES $GMP_PACKAGES + sudo apt-get install -y $PS_PACKAGES $OTHER_PACKAGES $GMP_PACKAGES $FLINT_PACKAGES - name: Install picoscope bindings run: | python -m pip install -U pip setuptools wheel @@ -59,7 +60,7 @@ jobs: - name: Install pyecsca working-directory: pyecsca run: | - pip install -e ".[picoscope_sdk, picoscope_alt, chipwhisperer, smartcard, gmp, leia, test, dev, doc]" + pip install -e ".[picoscope_sdk, picoscope_alt, chipwhisperer, smartcard, gmp, flint, leia, test, dev, doc]" - name: Install pyecsca-codegen working-directory: pyecsca-codegen run: | |