diff options
| author | J08nY | 2024-07-15 14:51:27 +0200 |
|---|---|---|
| committer | J08nY | 2024-07-15 14:59:12 +0200 |
| commit | 72c5f70c01af2c16f76dc6ddba7de55cc6d9583f (patch) | |
| tree | 55ce512b6e94d643fab3bb8bb5af6738ff048b91 /.github/workflows/docs.yml | |
| parent | 1f8e220d8e28f7126ddb72daf127077809a5ea43 (diff) | |
| download | pyecsca-72c5f70c01af2c16f76dc6ddba7de55cc6d9583f.tar.gz pyecsca-72c5f70c01af2c16f76dc6ddba7de55cc6d9583f.tar.zst pyecsca-72c5f70c01af2c16f76dc6ddba7de55cc6d9583f.zip | |
Improve mod docs.
Diffstat (limited to '.github/workflows/docs.yml')
| -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: | |