mirror of
https://git.suyu.dev/suyu/build-environments.git
synced 2025-12-21 21:35:58 +01:00
c44be88736
Ubuntu bionic loses support next month, so we are getting ahead of it by upgrading to Ubuntu 20.04 (focal) now.
7 lines
119 B
Text
7 lines
119 B
Text
|
|
RUN apt install --no-install-recommends -y \
|
|
libgmp-dev \
|
|
libmpfr-dev \
|
|
libmpc-dev \
|
|
flex \
|
|
bison
|