azure: build suddenly started failing without flex...

2019-09-29 00:50:26 +02:00 · 2019-09-29 00:50:26 +02:00 · e8456cde1f
parent bd42c9ee6b
commit e8456cde1f
1 changed files with 1 additions and 1 deletions
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@ -21,7 +21,7 @@ jobs:
      sudo apt-get install -y \
        cmake libgmp-dev libmpfr-dev libmpc-dev \
        libboost-all-dev bison texinfo \
-        ruby
+        ruby flex
    displayName: 'install prerequisites'
  - script: |
      mkdir build