diff options
| author | jvoisin | 2019-07-10 20:32:56 +0200 |
|---|---|---|
| committer | jvoisin | 2019-07-10 20:45:53 +0200 |
| commit | 92584082f9a86243f8155889dbcc2716e09750f4 (patch) | |
| tree | e5659adcb91926a1b425a9cf12403fadcbb23f78 | |
| parent | 031d81b5decfd4ce504b15777028ed74ce84f65e (diff) | |
Fix the Debian build on gitlab
Apparently, pcre isn't a hard dependency for php anymore.
We're using pcre2, because pcre3 is actually pcre in Debian,
because why not.
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 639f277..40dcd0a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml | |||
| @@ -6,7 +6,7 @@ testsuite:debian: | |||
| 6 | stage: testsuite | 6 | stage: testsuite |
| 7 | script: | 7 | script: |
| 8 | - apt-get -qqy update | 8 | - apt-get -qqy update |
| 9 | - apt-get -qqy install --no-install-recommends php-dev gcc make | 9 | - apt-get -qqy install --no-install-recommends php-dev gcc make libpcre2-dev |
| 10 | - make debug | 10 | - make debug |
| 11 | 11 | ||
| 12 | testsuite:fedora: | 12 | testsuite:fedora: |