2016-11-30 13:32:06 +00:00
|
|
|
image: gcc
|
|
|
|
|
|
|
|
|
|
build:
|
|
|
|
|
stage: build
|
2016-12-09 22:02:51 +00:00
|
|
|
# Install dependencies
|
2016-11-30 13:32:06 +00:00
|
|
|
before_script:
|
2016-12-09 22:02:51 +00:00
|
|
|
- apt update && apt -y install cmake libgmp-dev
|
|
|
|
|
# Build the project
|
2016-11-30 13:32:06 +00:00
|
|
|
script:
|
|
|
|
|
- cd build/
|
|
|
|
|
- cmake -DCMAKE_BUILD_TYPE=Release ..
|
|
|
|
|
- make
|
2016-12-09 22:02:51 +00:00
|
|
|
# Find the resulting binary
|
2016-11-30 13:32:06 +00:00
|
|
|
artifacts:
|
|
|
|
|
paths:
|
|
|
|
|
- build/indivisible
|
2016-12-09 22:02:51 +00:00
|
|
|
# Cache .o files for faster compiling
|
|
|
|
|
cache:
|
|
|
|
|
paths:
|
|
|
|
|
- "*.o"
|
