Remove unnecessary dependencies from CI jobs (#243)

NASA-SW-VnV · Dec 11, 2023 · 0a22ac5 · 0a22ac5
1 parent 990768b
commit 0a22ac5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml
@@ -7,7 +7,6 @@ jobs:
     runs-on: ubuntu-latest
 
     env:
-     PYTHONPATH: /opt/ikos/lib/python3.10/site-packages/
      MAKEFLAGS: -j4
 
     steps:
@@ -20,7 +19,7 @@ jobs:
            gcc g++ cmake libgmp-dev libboost-dev libboost-filesystem-dev \
            libboost-thread-dev libboost-test-dev \
            libsqlite3-dev libtbb-dev libz-dev libedit-dev \
-           python3 python3-pygments python3-distutils python3-pip \
+           python3 python3-pip \
            llvm-14 llvm-14-dev llvm-14-tools clang-14
       - name: Compile IKOS
         run: |

diff --git a/.github/workflows/build-macos.yml b/.github/workflows/build-macos.yml
@@ -12,9 +12,6 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
-      - name: Install dependencies
-        run: |
-          pip3 install setuptools
       - name: Install dependencies
         run: |
           brew tap nasa-sw-vnv/core