Commit bc74431c authored by Nikos Mavrogiannopoulos's avatar Nikos Mavrogiannopoulos Committed by Niels Möller

Use gitlab.com's shared runners

That is, phase out our specific runners to reduce administrative
burden, and rely on gitlab.com shared infrastructure.

http://docs.gitlab.com/ce/ci/runners/README.html
parent f5c924fb
image: centos:7
before_script:
- yum install -y git make autoconf libtool automake gettext-devel glibc-devel gcc valgrind libasan-static libgcc.i686 glibc-devel.i686
# See http://doc.gitlab.com/ce/ci/yaml/ for documentation.
Build and Check (x86-64):
script:
- yum install -y gmp-devel
- ./.bootstrap &&
./configure --disable-documentation && make -j4 &&
make check -j4
tags:
- x86-64
- shared
except:
- tags
Build and Check (x86):
script:
- yum install -y gmp-devel.i686
- ./.bootstrap &&
./configure --disable-documentation && make -j4 &&
PKG_CONFIG_PATH="/usr/lib/pkgconfig/" CFLAGS="-O2 -g -m32" LDFLAGS="-m32" ./configure --build=i686-redhat-linux --disable-documentation && make -j4 &&
make check -j4
tags:
- x86
- shared
except:
- tags
Build and Check with mini-gmp:
......@@ -23,21 +30,27 @@ Build and Check with mini-gmp:
./configure --disable-documentation --enable-mini-gmp && make -j4 &&
make check -j4
tags:
- shared
except:
- tags
Build and Check with ubsan:
image: fedora:24
script:
- yum install -y gmp-devel libubsan-static libubsan
- ./.bootstrap &&
CXXFLAGS="-fsanitize=undefined -fno-sanitize-recover -g -O2" CFLAGS="-fsanitize=undefined -fno-sanitize-recover -g -O2" ./configure
--disable-documentation && make -j4 && make check -j4
tags:
- ubsan
- shared
except:
- tags
Build and Check with asan:
script:
- yum install -y gmp-devel
- ./.bootstrap &&
- CXXFLAGS="-fsanitize=address -g -O2" CFLAGS="-fsanitize=address -g -O2" ./configure --disable-documentation &&
make -j4 && make check -j4
tags:
- shared
except:
- tags
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment