46f3bee2ff
core: add build of zst archive in make dist
2021-12-13 21:10:06 +01:00
792739ee42
core: add build with CMake and Ninja in CI
2021-11-20 19:02:53 +01:00
28d013b704
build: add targets "changelog" and "rn" to build HTML version of ChangeLog and release notes (CMake build only)
2021-11-20 17:23:59 +01:00
5fffaf89e4
build: improve error management in build of tarballs
2021-11-20 15:32:06 +01:00
fb1bf569a9
debian: bump Standards-Version to 4.6.0.1
2021-09-18 10:32:39 +02:00
bcddb06094
core: do not force build of JavaScript plugin in CI
2021-03-19 09:14:59 +01:00
5311c103d5
debian: update debian/ubuntu patches with new Standards-Version
2021-03-08 20:48:06 +01:00
efc7a588d6
core: update copyright dates
2021-01-02 21:34:16 +01:00
340d6646a6
javascript: disable build by default and remove Debian packaging of JavaScript plugin (issue #360 )
2020-06-13 14:34:13 +02:00
c4832737e9
core: add CI with GitHub Actions, move codecov.io upload to GitHub Actions
2020-05-22 19:04:12 +02:00
6f22b82a7c
debian: add patch to build on Ubuntu Groovy
2020-04-26 23:16:53 +02:00
feb6258910
core: update copyright dates
2020-01-04 10:41:26 +01:00
ee52c8ceae
debian: fix debian/wheezy and ubuntu/trusty patches
2019-12-08 09:13:46 +01:00
c947d1575f
core: exit makedist.sh script if command "cd" failed
2019-11-28 21:28:07 +01:00
d876ec49fc
core: replace "! -z" by "-n" in build-debian.sh
2019-11-28 21:27:43 +01:00
d2300e62af
core: replace "-o" by "||" in tools scripts
2019-11-28 21:26:45 +01:00
a727516e0d
core: run command and check return code on same line in tools scripts
2019-11-28 21:25:47 +01:00
c0e48b0370
core: double quote variables in tools scripts
2019-11-28 21:23:59 +01:00
a36e17abf9
debian: disable javascript plugin on Debian Sid and Ubuntu Eoan
2019-11-11 08:38:05 +01:00
f85f097c25
debian: disable javascript plugin on Ubuntu Focal
2019-10-20 21:27:21 +02:00
8ab6422520
debian: switch to Guile 2.2 in Debian build
...
Guile 2.2 is now used by default in Debian/Ubuntu builds, except on these old
distribution versions where only Guile 2.0 is available:
- Debian Stretch
- Debian Jessie
- Debian Wheezy
- Ubuntu Xenial
- Ubuntu Trusty
2019-09-25 20:58:22 +02:00
ea0bdbab1b
debian: fix build of packages on Debian Jessie (issue #916 , issue #956 )
...
With the new errors on missing libraries in CMake, the PHP plugin must be
explicitly disabled.
2019-09-16 08:46:00 +02:00
e56c7e8c9b
debian: disable Javascript plugin on Debian Buster/Bullseye ( closes #1374 )
2019-07-08 18:29:50 +02:00
5e9efeb2e3
debian: switch from Lua 5.1 to 5.3 in Debian build
2019-07-07 14:14:37 +02:00
ab81128a7a
core: compile with Python 3 by default
...
The CMake option ENABLE_PYTHON3 is renamed to ENABLE_PYTHON2, to use Python 2
first then fallback on Python 3.
In the same way, the configure option --enable-python3 is renamed to
--enable-python2, to use Python 2 first then fallback on Python 3.
2019-07-01 21:28:33 +02:00
d91954490f
core: move coverage.info in parent directory
2019-03-29 23:01:27 +01:00
56d6b510e6
core: move upload of code coverage from build-test.sh to .travis.yml
2019-03-29 22:53:26 +01:00
33cefb7daa
core: fix upload of code coverage to codecov.io
2019-03-29 22:46:13 +01:00
3e22bc116b
core: upload code coverage on codecov.io in Travis CI
2019-03-29 22:37:03 +01:00
8629bf4b06
debian: switch debhelper compatibility to 12
2019-01-08 22:07:10 +01:00
f8df26f57f
debian: bump Standards-Version to 4.3.0
2019-01-08 21:57:31 +01:00
2b0057239b
core: update copyright dates
2019-01-01 15:40:51 +01:00
4712d0bb06
core: use https for links to GNU GPL license
2018-11-29 23:16:07 +01:00
5bc37eeee3
debian: bump Standards-Version to 4.1.5
2018-10-21 08:22:31 +02:00
55bb057319
debian: display the number of patches OK and in error in script build-debian.sh
2018-03-22 21:13:23 +01:00
3de28af6cd
debian: update debian/ubuntu/raspbian patches
2018-03-22 20:46:16 +01:00
60ee461c43
debian: remove patches for old ubuntu versions: zesty, yakkety, precise
2018-03-22 20:46:16 +01:00
647b92f6a0
debian: do not build packages with debug symbols in script build-debian.sh
2018-03-22 20:46:15 +01:00
846eb90e7d
core: add option "test-patches" in script build-debian.sh
2018-03-20 22:09:20 +01:00
4238fe0e9c
debian: update debian/ubuntu/raspbian patches
2018-03-20 20:32:40 +01:00
0a67458a94
debian: add patch for Ubuntu Artful to use PHP 7.1
2018-03-06 08:59:13 +01:00
3c01a73df0
debian: replace PHP version 7.1 with 7.2 in debian patches (issue #1154 )
2018-03-05 20:51:25 +01:00
03456722ef
core: fix typo: scripts manager -> script manager
2018-01-29 21:04:27 +01:00
ed4837b2f6
core: update copyright dates
2018-01-05 00:54:18 +01:00
650242d179
debian: update debian/ubuntu patches
2017-11-04 12:52:39 +01:00
d048f9e7af
build: update examples in script build-debian.sh
2017-09-28 01:54:53 +02:00
1c3e724ec6
build: update Debian patches with libxml2-dev dependency
2017-09-28 01:18:18 +02:00
01fff0a0d4
build: update patch for Ubuntu Trusty to not build PHP plugin
2017-09-27 17:17:59 +02:00
4d69c3be7e
build: update patch for Debian Wheezy to not build PHP plugin
2017-09-27 17:09:21 +02:00
b9e4081f3a
build: update patch for Debian Jessie to not build PHP plugin
2017-09-27 17:03:12 +02:00
Sébastien Helleu