[Pkg-zsh-devel] Bug#909084: Bug#909084: Bug#909084: Missing pcre module

[Daniel Shahaf]

Control: clone -1 -2
Control: retitle -2 Build should fail when PCRE is not available
Control: severity -2 wishlist

Axel Beckert wrote on Tue, Sep 18, 2018 at 11:53:36 +0200:
> Yuri D'Elia wrote:
> > In the last release, the pcre module does not seem to be built anymore.
> > This causes "setopt rematch_pcre" to fail:
> > 
> > failed to load module `zsh/pcre': /usr/lib/x86_64-linux-gnu/zsh/5.6.2/zsh/pcre.so: cannot open shared object file: No such file or directory
> > -pcre-match not available for regex
> 
> Thanks for the bug report. I just noticed it, too.
> 
> I seem to have missed that the Recommends vanished because of the
> according plugin files were no more built.

The upstream build system treats PCRE as an optional dependency.  In
Debian, however, we should have the build fail hard when PCRE is not
available, for compatibility reasons.  Hereby filing that as #-2.

Off the top of my head, we have several options:

1. Pass --with-pcre=foo to configure *and* make sure that configure dies
if pcre is not found.  (The configure.ac patch can be upstreamed.)

2. After running configure, check that the pcre line in config.modules
has the expected values.  (not upstreamable)

3. Patch Test/V07pcre to fail, rather than skip, if the PCRE module was
not built.  (not upstreamable)

We can do more than one of these, e.g., #1+#3.

Cheers,

Daniel