...
 
Commits (2)
......@@ -8,3 +8,34 @@ wibble/libwibble.pc
divine/sha1
divine/sha1.cpp
nbproject
/.gitlab-ci.yml~
/CMakeCache.txt
/divine/blob_h_str.cpp
/divine/circular_h_str.cpp
/divine/divine-test
/divine/divine-test-generated-*
/gui/base_shared/
/gui/base_tools/
/divine/generator_custom_api_h_str.cpp
/divine/libdivine.a
/divine/pool_h_str.cpp
/gui/divine.ide
/gui/dve_divine2/
/gui/dve_editor/
/gui/help/
/gui/ltl_editor/
/gui/plugins/
/gui/qtcolorpicker/
/gui/libbase_shared.so
/hoard/libhoard.a
/lpsolve/liblpsolve.a
/tools/combine.m4.h
/tools/divine
/tools/divine.compile-pml
/tools/divine.probabilistic
/tools/divine.simple
/tools/divine.simulate
/wibble/libwibble.a
/wibble/wibble-test
/wibble/wibble-test-generated-*
stages:
- build
- publish
build-stable:
stage: build
except:
- /^upstream/
script:
- docker pull gadl/spot-debuild:stable
- docker run --rm=true -v $PWD:/remote gadl/spot-debuild:stable /remote/build.sh stable
build-unstable:
stage: build
except:
- /^upstream/
script:
- docker pull gadl/spot-debuild
- docker run --rm=true -v $PWD:/remote gadl/spot-debuild /remote/build.sh unstable
publish:
only:
- master
stage: publish
script:
- dput lrde *.changes
#!/bin/sh
cd /remote
git clone https://gitlab.lrde.epita.fr/spot/divine-ltsmin-deb.git
cd divine-ltsmin-deb
case $1 in
unstable);;
stable) sed -i -e 's/unstable/stable/' debian/changelog;;
esac
DEB_BUILD_OPTIONS='parallel=8' gbp buildpackage --git-ignore-new
cd ..
rm -rf divine-ltsmin-deb