Your message dated Sat, 27 Dec 2025 02:34:25 +0000
with message-id <[email protected]>
and subject line Bug#1123395: fixed in gringo 5.8.0-2
has caused the Debian Bug report #1123395,
regarding gringo: FTBFS:
/<<PKGBUILDDIR>>/libgringo//src/input/nongroundlexer.xch:69:62: error:
reference to undefined condition 'aspif'
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1123395: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1123395
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:gringo
Version: 5.8.0-1
Severity: serious
Tags: ftbfs forky sid
Dear maintainer:
During a rebuild of all packages in unstable, this package failed to build.
Below you will find the last part of the build log (probably the most
relevant part, but not necessarily). If required, the full build log
is available here:
https://people.debian.org/~sanvila/build-logs/202512/
About the archive rebuild: The build was made on virtual machines from AWS,
using sbuild and a reduced chroot with only build-essential packages.
If you cannot reproduce the bug please contact me privately, as I
am willing to provide ssh access to a virtual machine where the bug is
fully reproducible.
If this is really a bug in one of the build-depends, please use
reassign and add an affects on src:gringo, so that this is still
visible in the BTS web page for this package.
Thanks.
--------------------------------------------------------------------------------
[...]
[ 50%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o -MF
CMakeFiles/libclasp.dir/enumerator.cpp.o.d -o
CMakeFiles/libclasp.dir/enumerator.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/enumerator.cpp
make -f libgringo/CMakeFiles/libgringo.dir/build.make
libgringo/CMakeFiles/libgringo.dir/depend
make[4]: Entering directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[ 51%] [RE2C][nongroundlexer] Building lexer with re2c 0.403.1
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/libgringo && /usr/bin/re2c -c -o
/<<PKGBUILDDIR>>/build.dir/hardening_mt/libgringo//src/input/nongroundlexer.hh
/<<PKGBUILDDIR>>/libgringo//src/input/nongroundlexer.xch
/<<PKGBUILDDIR>>/libgringo//src/input/nongroundlexer.xch:55:36: warning: escape
has no effect: '\^' [-Wuseless-escape]
/<<PKGBUILDDIR>>/libgringo//src/input/nongroundlexer.xch:55:38: warning: escape
has no effect: '\.' [-Wuseless-escape]
/<<PKGBUILDDIR>>/libgringo//src/input/nongroundlexer.xch:69:62: error:
reference to undefined condition 'aspif'
make[4]: *** [libgringo/CMakeFiles/libgringo.dir/build.make:81:
libgringo/src/input/nongroundlexer.hh] Error 1
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[3]: *** [CMakeFiles/Makefile2:1105:
libgringo/CMakeFiles/libgringo.dir/all] Error 2
make[3]: *** Waiting for unfinished jobs....
[ 51%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o -MF
CMakeFiles/libclasp.dir/heuristics.cpp.o.d -o
CMakeFiles/libclasp.dir/heuristics.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/heuristics.cpp
[ 51%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o -MF
CMakeFiles/libclasp.dir/logic_program.cpp.o.d -o
CMakeFiles/libclasp.dir/logic_program.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/logic_program.cpp
[ 52%] Building CXX object
clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o -MF
CMakeFiles/libclasp.dir/logic_program_types.cpp.o.d -o
CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/logic_program_types.cpp
[ 52%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o -MF
CMakeFiles/libclasp.dir/lookahead.cpp.o.d -o
CMakeFiles/libclasp.dir/lookahead.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/lookahead.cpp
[ 52%] Building CXX object
clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -MF
CMakeFiles/libclasp.dir/minimize_constraint.cpp.o.d -o
CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/minimize_constraint.cpp
[ 53%] Building CXX object
clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o -MF
CMakeFiles/libclasp.dir/model_enumerators.cpp.o.d -o
CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/model_enumerators.cpp
[ 53%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o -MF
CMakeFiles/libclasp.dir/parser.cpp.o.d -o CMakeFiles/libclasp.dir/parser.cpp.o
-c /<<PKGBUILDDIR>>/clasp/src/parser.cpp
[ 53%] Building CXX object
clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o -MF
CMakeFiles/libclasp.dir/program_builder.cpp.o.d -o
CMakeFiles/libclasp.dir/program_builder.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/program_builder.cpp
[ 54%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o -MF
CMakeFiles/libclasp.dir/satelite.cpp.o.d -o
CMakeFiles/libclasp.dir/satelite.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/satelite.cpp
[ 54%] Building CXX object
clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o -MF
CMakeFiles/libclasp.dir/shared_context.cpp.o.d -o
CMakeFiles/libclasp.dir/shared_context.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/shared_context.cpp
[ 54%] Building CXX object
clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -MF
CMakeFiles/libclasp.dir/solve_algorithms.cpp.o.d -o
CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/solve_algorithms.cpp
[ 55%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o -MF
CMakeFiles/libclasp.dir/solver.cpp.o.d -o CMakeFiles/libclasp.dir/solver.cpp.o
-c /<<PKGBUILDDIR>>/clasp/src/solver.cpp
[ 55%] Building CXX object
clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o -MF
CMakeFiles/libclasp.dir/solver_strategies.cpp.o.d -o
CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/solver_strategies.cpp
/<<PKGBUILDDIR>>/clasp/src/solver.cpp: In member function âvoid
Clasp::Solver::destroyDB(ConstraintDB&)â:
/<<PKGBUILDDIR>>/clasp/src/solver.cpp:671:43: warning: storing the address of
local variable âdirtyâ in â*this.Clasp::Solver::lazyRem_â
[-Wdangling-pointer=]
671 | if (!lazyRem_) { lazyRem_ = &dirty; }
| ~~~~~~~~~^~~~~~~~
/<<PKGBUILDDIR>>/clasp/src/solver.cpp:670:23: note: âdirtyâ declared here
670 | Dirty dirty;
| ^~~~~
/<<PKGBUILDDIR>>/clasp/src/solver.cpp:668:40: note: âthisâ declared here
668 | void Solver::destroyDB(ConstraintDB& db) {
| ^
[ 55%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o -MF
CMakeFiles/libclasp.dir/solver_types.cpp.o.d -o
CMakeFiles/libclasp.dir/solver_types.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/solver_types.cpp
[ 56%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o -MF
CMakeFiles/libclasp.dir/statistics.cpp.o.d -o
CMakeFiles/libclasp.dir/statistics.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/statistics.cpp
[ 56%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o -MF
CMakeFiles/libclasp.dir/timer.cpp.o.d -o CMakeFiles/libclasp.dir/timer.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/timer.cpp
[ 56%] Building CXX object
clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o -MF
CMakeFiles/libclasp.dir/unfounded_check.cpp.o.d -o
CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/unfounded_check.cpp
[ 57%] Building CXX object
clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o -MF
CMakeFiles/libclasp.dir/weight_constraint.cpp.o.d -o
CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/weight_constraint.cpp
[ 57%] Building CXX object
clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/c++
-I/<<PKGBUILDDIR>>/clasp -I/<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp
-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=gnu++11 -fPIC -fvisibility=hidden
-Wno-deprecated-declarations -MD -MT
clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o -MF
CMakeFiles/libclasp.dir/parallel_solve.cpp.o.d -o
CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c
/<<PKGBUILDDIR>>/clasp/src/parallel_solve.cpp
[ 58%] Linking CXX static library ../../lib/libclasp.a
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/cmake -P
CMakeFiles/libclasp.dir/cmake_clean_target.cmake
cd /<<PKGBUILDDIR>>/build.dir/hardening_mt/clasp/src && /usr/bin/cmake -E
cmake_link_script CMakeFiles/libclasp.dir/link.txt --verbose=1
/usr/bin/ar qc ../../lib/libclasp.a CMakeFiles/libclasp.dir/
[too-long-redacted] bclasp.dir/parallel_solve.cpp.o
/usr/bin/ranlib ../../lib/libclasp.a
make[4]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
[ 58%] Built target libclasp
make[3]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
make[2]: *** [Makefile:149: all] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>/build.dir/hardening_mt'
dh_auto_build: error: cd build.dir/hardening_mt && make -j2 INSTALL="install
--strip-program=true" VERBOSE=1 returned exit code 2
make[1]: *** [debian/rules:39: override_dh_auto_build] Error 25
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:31: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
--------------------------------------------------------------------------------
--- End Message ---
--- Begin Message ---
Source: gringo
Source-Version: 5.8.0-2
Done: Ralf Treinen <[email protected]>
We believe that the bug you reported is fixed in the latest version of
gringo, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <[email protected]> (supplier of updated gringo package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 27 Dec 2025 02:45:38 +0100
Source: gringo
Architecture: source
Version: 5.8.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Ralf Treinen <[email protected]>
Closes: 1123395
Changes:
gringo (5.8.0-2) unstable; urgency=medium
.
* Add patch to fix compilation with re2c 4.3.1. Thanks a lot to Roland
Kaminski! (closes: #1123395)
* Add myself to Uploaders
* Drop Rules-Requires-Root
* Standards-Version 4.7.3 (no change)
* Drop Conflicts/Replaces on (i)clingo since these binary packages have been
dropped from this package in 2011.
Checksums-Sha1:
5d830bc7195340083d08210ab14b658479e8df89 2047 gringo_5.8.0-2.dsc
0453e30138fc8e400f0204c7b3259c444a88187c 25400 gringo_5.8.0-2.debian.tar.xz
4699ead5c8169897d68184f36b51edc221f8e8a0 7556 gringo_5.8.0-2_source.buildinfo
Checksums-Sha256:
be1e1c9e240b34d2693dd54b9fbdf83045f61c9bf852e181a7fb5cc0f26efc36 2047
gringo_5.8.0-2.dsc
4315cadb6560a8db26d62c839d8d89b26714123f4b9bb8bcb6c0cc3c0e10fb98 25400
gringo_5.8.0-2.debian.tar.xz
96a941b39cfe48b6a0e9ed371c52c8154541a47cb2c192d42fa5967640fe52ed 7556
gringo_5.8.0-2_source.buildinfo
Files:
aef3e8bd40ec7faa522b692eaae84461 2047 interpreters optional gringo_5.8.0-2.dsc
dc32941725cf7a97ca4358787840ce2c 25400 interpreters optional
gringo_5.8.0-2.debian.tar.xz
8575972d12e0c648c71fc2633d318c21 7556 interpreters optional
gringo_5.8.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmlPPscACgkQdFxHZtTK
zf9K3BAAkXPDRMe447tOO/ND/c9Wi+hzC76YjVJIN9/IDUgmNfXvN9i6n4FASQ1G
+fHnOifQ1FA4RyNNDv7Cj/NNVEicGXLPu0cMDsSo36DMQKNtDAAMIm7hhdB/2g1m
r71YKK+z486D0kM85Seki8kbH7W2e7nDl3RckhdOEE5VOVexculc6nlB8JwjdvGz
cQ26LNscxngyEH9O2iYdKIf3WYXyAwDi3JK0cGmQDtmIfKh4zesZ5k0gJEhByFAw
ZzWv5+dt56K4Tw3T6PGIlXl2uW5vUympYW3AAGrxxWBHQyjjQ6GXov2a+Y5sFZ2e
t+tCkYNo6bwgc6jfHVoIJcmeeRB8apYdi1b8Cwk/v1HmGN7ExUCxyc0Y5WnpvXFR
7ErkNVXeHIckT6P355DslwiyAa2d2mv0Db+2KQijlIwHWQY5ZsyxL74GA6mPHLbe
ByJ9w+zUeaE03n9v+zUbL9UZbjpF57HJfj5zcF0zaBewF2NN90fdrK8SJnzkxer3
L+1AKOf2aOGNfIbde6ILnnEkb1DV9O+wg2XT8ytVsO9T+dIBMfBOerkJItgeKCbo
fKY/4f/B7fIhzKzDyHms5cklHk6RDwW1U/ZxrzgRxuHCtwuj8p4uslWRe9bZ2akr
vGSjBj4+ogKRjwxr/GCd6ac8xO3QM4NAVEH0nAiHz3VyTnBpktQ=
=0Pns
-----END PGP SIGNATURE-----
pgpOEzrQhwRWO.pgp
Description: PGP signature
--- End Message ---
