Skip to main content

Browse the archive

https://github.com/BrianGladman/mpfr
05 April 2024, 19:07:15 UTC
Raw File
Tip revision: 75d60e78db0a7a9fc2804413f2732f457b799a22 authored by Brian Gladman on 15 December 2023, 16:21:48 UTC
Merge branch 'master' of gitlab.inria.fr:mpfr/mpfr
Tip revision: 75d60e7
.gitlab-ci.yml 
linux_gmp:
  stage: build
  script:
    - echo "en_US.UTF-8 UTF-8" > /etc/locale.gen
    - env DEBIAN_FRONTEND=noninteractive apt-get -y update
    - env DEBIAN_FRONTEND=noninteractive apt-get -y install texinfo
    - autoreconf -i
    - ./configure
    - make
    - make check
  tags:
    - linux
back to top