Sébastien Helleu
340d6646a6
javascript: disable build by default and remove Debian packaging of JavaScript plugin (issue #360 )
2020-06-13 14:34:13 +02:00
Sébastien Helleu
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
Sébastien Helleu
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
Sébastien Helleu
5e9efeb2e3
debian: switch from Lua 5.1 to 5.3 in Debian build
2019-07-07 14:14:37 +02:00
Sébastien Helleu
8629bf4b06
debian: switch debhelper compatibility to 12
2019-01-08 22:07:10 +01:00
Sébastien Helleu
3de28af6cd
debian: update debian/ubuntu/raspbian patches
2018-03-22 20:46:16 +01:00
Sébastien Helleu
4238fe0e9c
debian: update debian/ubuntu/raspbian patches
2018-03-20 20:32:40 +01:00
Sébastien Helleu
3c01a73df0
debian: replace PHP version 7.1 with 7.2 in debian patches (issue #1154 )
2018-03-05 20:51:25 +01:00
Sébastien Helleu
03456722ef
core: fix typo: scripts manager -> script manager
2018-01-29 21:04:27 +01:00
Sébastien Helleu
650242d179
debian: update debian/ubuntu patches
2017-11-04 12:52:39 +01:00
Sébastien Helleu
1c3e724ec6
build: update Debian patches with libxml2-dev dependency
2017-09-28 01:18:18 +02:00
Sébastien Helleu
b9e4081f3a
build: update patch for Debian Jessie to not build PHP plugin
2017-09-27 17:03:12 +02:00
Sébastien Helleu
df10556d5e
debian: remove asciidoctor dependency in debian/ubuntu patches (issue #722 )
...
Asciidoctor is required, but must be installed as a gem (the version in
distros is too old).
2016-09-04 12:52:24 +02:00
Sébastien Helleu
340389ccd5
debian: update debian/ubuntu patches to build again doc/man page (issue #722 )
2016-09-04 09:16:13 +02:00
Sébastien Helleu
22591c11fe
debian: fix debian/ubuntu/raspbian patches
2016-05-21 08:07:55 +02:00
Sébastien Helleu
c39803a4dd
debian: update debian/ubuntu patches to not build doc/man page
2016-05-16 17:56:51 +02:00
Sébastien Helleu
b0f515279a
debian: add patch to not build doc/man page on Debian Jessie (issue #722 )
2016-05-16 11:34:22 +02:00