Commit 0425a724 authored by Jaime Arias Almeida's avatar Jaime Arias Almeida
Browse files

Merge branch 'develop'

parents 16a7e50d 3478a039
Pipeline #66 passed with stage
in 1 minute and 44 seconds
image: gcc
variables:
GIT_SUBMODULE_STRATEGY: recursive
stages:
- build
build:
stage: build
before_script:
- apt-get update -qq
- apt-get install -y -qq cmake bison flex libgmp3-dev
- apt-get install -y -qq libopenmpi-dev openmpi-bin libhdf5-openmpi-dev
script:
- cmake -Bbuild -H.
- make -Cbuild -j
after_script:
- cp build/src/distributed-sog .
artifacts:
paths:
- distributed-sog
only:
- tags
[submodule "libraries/parser"]
path = libraries/parser
url = https://depot.lipn.univ-paris13.fr/PMC-SOG/pn-parser.git
[submodule "third-party/sylvan"]
path = third-party/sylvan
url = https://depot.lipn.univ-paris13.fr/PMC-SOG/sylvan.git
[submodule "third-party/buddy"]
path = third-party/buddy
url = https://github.com/jgcoded/BuDDy
[submodule "third-party/sylvan"]
path = third-party/sylvan
url = git@depot.lipn.univ-paris13.fr:PMC-SOG/sylvan.git
[submodule "libraries/parser"]
path = libraries/parser
url = git@depot.lipn.univ-paris13.fr:PMC-SOG/pn-parser.git
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