Bug#1054688: gringo: FTBFS: main.cc:2:10: fatal error: catch2/catch.hpp: No such file or directory

[Lucas Nussbaum]

Source: gringo
Version: 5.4.1-3.1
Severity: serious
Justification: FTBFS
Tags: trixie sid ftbfs
User: lucas at debian.org
Usertags: ftbfs-20231027 ftbfs-trixie

Hi,

During a rebuild of all packages in sid, your package failed to build
on amd64.


Relevant part (hopefully):
> cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libreify/tests && /usr/bin/c++  -I/<<PKGBUILDDIR>>/libreify/tests -I/<<PKGBUILDDIR>>/libreify -I/<<PKGBUILDDIR>>/libgringo -I/<<PKGBUILDDIR>>/clasp/libpotassco -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -O3 -Wall -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -Wdate-time -D_FORTIFY_SOURCE=2 -DNDEBUG -O3 -DNDEBUG -std=c++14 -fvisibility=hidden -MD -MT libreify/tests/CMakeFiles/test_reify.dir/main.cc.o -MF CMakeFiles/test_reify.dir/main.cc.o.d -o CMakeFiles/test_reify.dir/main.cc.o -c /<<PKGBUILDDIR>>/libreify/tests/main.cc
> /<<PKGBUILDDIR>>/libreify/tests/main.cc:2:10: fatal error: catch2/catch.hpp: No such file or directory
>     2 | #include <catch2/catch.hpp>
>       |          ^~~~~~~~~~~~~~~~~~
> compilation terminated.
> make[4]: *** [libreify/tests/CMakeFiles/test_reify.dir/build.make:79: libreify/tests/CMakeFiles/test_reify.dir/main.cc.o] Error 1


The full build log is available from:
http://qa-logs.debian.net/2023/10/27/gringo_5.4.1-3.1_unstable.log

All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20231027;users=lucas@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20231027&fusertaguser=lucas@debian.org&allbugs=1&cseverity=1&ctags=1&caffected=1#results

A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!

If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects

If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.