https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: sci-mathematics/clasp-3.3.8 fails to compile. Discovered on: amd64 (internal ref: guru_ci)
Created attachment 776888 [details] build.log build log and emerge --info
Error(s) that match a know pattern in addition to what has been reported in the summary: -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/clause_creator_test.cpp:27:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/clause_test.cpp:27:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/cli_test.cpp:29:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/decision_heuristic_test.cpp:30:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/dependency_graph_test.cpp:27:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/dlp_builder_test.cpp:29:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/enumerator_test.cpp:31:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/facade_test.cpp:38:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/literal_test.cpp:25:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/minimize_test.cpp:31:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/parser_test.cpp:32:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/program_builder_test.cpp:30:10: fatal error: catch.hpp: No such file or directory /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/rule_test.cpp:30:10: fatal error: catch.hpp: No such file or directory FAILED: tests/CMakeFiles/test_clasp.dir/clause_creator_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/clause_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/cli_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/decision_heuristic_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/dependency_graph_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/dlp_builder_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/enumerator_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/facade_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/literal_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/minimize_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/parser_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/program_builder_test.cpp.o FAILED: tests/CMakeFiles/test_clasp.dir/rule_test.cpp.o /var/tmp/portage/sci-mathematics/clasp-3.3.8/work/clasp-3.3.8/tests/enumerator_test.cpp:31:10: fatal error: catch.hpp: No such file or directory
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=e4b6ba24f5accb6b5ca28af13aa5e6069c69be83 commit e4b6ba24f5accb6b5ca28af13aa5e6069c69be83 Author: Alessandro Barbieri <lssndrbarbieri@gmail.com> AuthorDate: 2022-05-05 15:25:14 +0000 Commit: Alessandro Barbieri <lssndrbarbieri@gmail.com> CommitDate: 2022-05-05 23:37:52 +0000 sci-mathematics/clasp: includedir for catch2 Closes: https://bugs.gentoo.org/842759 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com> sci-mathematics/clasp/clasp-3.3.8.ebuild | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)
