alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
5833 commits 6 branches 0 tags 36 MiB
Commit graph

33 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
83e8886d60 * .gitlab-ci.yml: Remove reference to registry.lrde.epita.fr. 2020-11-26 16:13:24 +01:00
Alexandre Duret-Lutz
0339e1fec8 * .gitlab-ci.yml: Fix images names. 2020-09-13 10:59:26 +02:00
Alexandre Duret-Lutz
64b82d25f3 i386 Debian builds need x86 builders 
* .gitlab-ci.yml: split the amd64/i386 debian builds so we can tag the
latter with x86.
 2020-09-12 08:10:07 +02:00
Alexandre Duret-Lutz
46b11baf05 * .gitlab-ci.yml: Update docker images, for buildenv#1. 2020-09-03 16:24:10 +02:00
Alexandre Duret-Lutz
4f23097619 build in C++17 mode by default 
* configure.ac: Activate C++17, and replace --enable-c++17 by
--enable-c++20.
* NEWS: Mention the news.
* .gitlab-ci.yml: Use C++20 for the former C++17 builds.
* HACKING, README, doc/org/compile.org, doc/org/concepts.org,
doc/org/index.org, doc/org/install.org, doc/org/tut.org,
doc/org/upgrade2.org, spot/misc/escape.hh: Adjust mentions
of C++14.
 2020-07-16 12:12:21 +02:00
Alexandre Duret-Lutz
192ca91087 * .gitlab-ci.yml (raspbian): Add /wip/ exception. 2020-04-19 14:35:51 +02:00
Alexandre Duret-Lutz
533640fa74 Fix glibcxxdebug build not using --enable-glibcxx-debug 
* .gitlab-ci.yml (arch-gcc-glibcxxdebug): Pass configure flags to
distcheck.
 2020-04-14 23:34:01 +02:00
Alexandre Duret-Lutz
5bf91077f4 * .gitlab-ci.yml (raspbian): Restrict to branches. 2019-09-27 20:45:34 +02:00
Alexandre Duret-Lutz
362682c7cd * .gitlab-ci.yml (arch-gcc-glibcxxdebug): Do not call env. 2019-09-26 17:17:09 +02:00
Alexandre Duret-Lutz
0da5f44cd2 fix ARM builds 
* spot/misc/bitvect.hh (bitvect_array::at): Fix pointer cast.
* spot/twa/bddprint.cc: Adjust to use signed char* explicitly.
* spot/twaalgos/gtec/gtec.hh: Work around GCC bug #90309.
* .gitlab-ci.yml: Add raspbian build.
 2019-09-26 15:18:40 +02:00
Alexandre Duret-Lutz
6a71438268 allow gcc-snapshot failures because of GCC bug 91184 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91184

* .gitlab-ci.yml (debian-gcc-snapshot): Add allow_failure=true.
 2019-07-17 09:16:18 +02:00
Etienne Renault
dba2305367 gitlab-ci: force distcheck to use included GNU ltdl 
* .gitlab-ci.yml: Here.
 2018-12-04 14:42:02 +00:00
Etienne Renault
9038e48ea4 gitlab-ci: use the included GNU ltdl sources 
* .gitlab-ci.yml: Here.
 2018-12-03 14:52:13 +00:00
Alexandre Duret-Lutz
b8164ef979 add an Alpine Linux build 
* .gitlab-ci.yml (alpine-gcc): Here.
 2018-11-10 22:15:59 +01:00
Alexandre Duret-Lutz
23fe20c3e4 * .gitlab-ci.yml: Fix docker names. 2018-09-25 16:53:42 +02:00
Alexandre Duret-Lutz
b52f4ea711 * .gitlab-ci.yml (debpkg-stable): Typo. 2018-07-25 11:18:26 +02:00
Alexandre Duret-Lutz
b9482a5bcc * .gitlab-ci.yml: Typo. 2018-07-02 16:44:47 +02:00
Alexandre Duret-Lutz
8d233692b2 gitlab-ci: publish the RPM packages 
* .gitlab-ci.yml (publish-rpm): New job.
 2018-07-02 14:27:27 +02:00
Antoine Martin
3c12015181 build rpm package during ci 
* .gitignore: don't commit spot.spec
* Makefile.am: write version number to spot.spec.in
* .gitlab-ci.yml: new job builds the tarball and rpm package
* spot.spec.in: spot.spec is used by rpmbuild to build the package
 2018-06-29 13:29:15 +02:00
Alexandre Duret-Lutz
4afd1856a6 * .gitlab-ci.yml (debian-gcc-snapshot): Fix path to log files. 2018-06-05 08:48:40 +02:00
Alexandre Duret-Lutz
2e165f188d rename SPOT_NB_ACC to SPOT_MAX_ACCSETS 
* NEWS, bin/autcross.cc, bin/autfilt.cc, bin/ltlcross.cc,
configure.ac, spot/parseaut/parseaut.yy, spot/twa/acc.cc,
spot/twa/acc.hh, tests/core/acc.cc, .gitlab-ci.yml: Here.
 2018-05-24 22:18:42 +02:00
Maximilien Colange
0205ff1394 build with a large spot::acc_cond::mark_t 
* .gitlab-ci.yml: here
 2018-05-22 13:57:32 +02:00
Alexandre Duret-Lutz
8120587fbf * .gitlab-ci.yml: Remove spot.cc and spot-x.cc from coverage report. 2018-05-21 17:39:38 +02:00
Alexandre Duret-Lutz
605bcd723d Upgrade to GitLab 10.7 
* .gitlab-ci.yml (publish-stable, publish-unstable): Use a single
variable to pass the current branch to the spot-web project.
 2018-05-16 10:34:31 +02:00
Alexandre Duret-Lutz
be9096a5cd gitlab-ci: skip org-mode in mingw builds 
* .gitlab-ci.yml: Here.
* doc/Makefile.am: Make sure the svg files are only rebuilt when org
files are processed.
 2018-04-07 18:11:10 +02:00
Alexandre Duret-Lutz
89f7047925 * .gitlab-ci.yml (publish-stable): Use scp instead of cp. 2018-03-28 18:20:44 +02:00
Alexandre Duret-Lutz
fe12f15a16 * .gitlab-ci.yml: Switch to LRDE's docker registry. 2018-03-01 10:54:20 +01:00
Alexandre Duret-Lutz
f8575b4290 More config for GitLab-CI 
* .gitlab-ci.yml: Add a build with gcc-snapshot, and disable Debian
packages on all branches except master/next/stable and branches ending
in "-deb".
 2018-02-22 11:32:11 +01:00
Alexandre Duret-Lutz
e8ce4b8cad * .gitlab-ci.yml: $CI_JOB_TOKEN does not seem to work. 2018-02-20 16:01:11 +01:00
Alexandre Duret-Lutz
5b199d7870 * .gitlab-ci.yml: Ignore tags and use $CI_JOB_TOKEN. 2018-02-20 11:26:18 +01:00
Alexandre Duret-Lutz
7fa6e150ee * .gitlab-ci.yml: Trigger spot-web and spot-sandbox rebuilds 2018-02-19 15:46:00 +01:00
Alexandre Duret-Lutz
386a1c32be * .gitlab-ci.yml: Adjust artifact paths for distcheck. 2018-02-17 18:45:20 +01:00
Alexandre Duret-Lutz
9ec6e9172c * .gitlab-ci.yml: Create build tasks. 2018-02-07 12:07:13 +01:00