From e89dbac726ba53a7202929fddadb8cd024ec6791 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 17 Aug 2020 15:22:34 -0700
Subject: [PATCH] [CI] Update package list (#4906)

Since
https://github.com/CVC4/LFSC/commit/1d1c55fa17b08e2bc8cb686b9d07ec63bf0dd4a2
LFSC requires Flex, so we need to install the corresponding packages in
our CI environment. This commit also removes SWIG from the list of
packages to install since we do not use it anymore.
---
 .github/workflows/ci.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ca873c294..2d3586483 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -62,7 +62,9 @@ jobs:
           libcln-dev \
           libgmp-dev \
           libedit-dev \
-          swig3.0
+          flex \
+          libfl-dev \
+          flexc++
         python3 -m pip install toml
         python3 -m pip install setuptools
         python3 -m pip install pexpect
@@ -78,7 +80,7 @@ jobs:
           cln \
           gmp \
           pkgconfig \
-          swig
+          flex
         python3 -m pip install toml
         python3 -m pip install setuptools
         python3 -m pip install pexpect
-- 
2.30.2