Build failure: isabelle and tlaps

[numinit]

Steps to reproduce

Steps to reproduce the behavior:

1. build isabelle or tlaps

Build log

Build Log

error: builder for '/nix/store/6j0067n8yqsi7xzk113rr0xi8lmpfhmc-polyml-for-isabelle-2024.drv' failed with exit code 2;
       last 25 log lines:
       > /nix/store/5mh7kaj2fyv8mk4sfq1brwxgc02884wi-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\"    -O3 -c -o sharedata.lo sharedata.cpp
       > libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\" -O3 -c sharedata.cpp -o sharedata.o
       > /nix/store/5mh7kaj2fyv8mk4sfq1brwxgc02884wi-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\"    -O3 -c -o sighandler.lo sighandler.cpp
       > libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\" -O3 -c sighandler.cpp -o sighandler.o
       > /nix/store/5mh7kaj2fyv8mk4sfq1brwxgc02884wi-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\"    -O3 -c -o statistics.lo statistics.cpp
       > libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\" -O3 -c statistics.cpp -o statistics.o
       > /nix/store/5mh7kaj2fyv8mk4sfq1brwxgc02884wi-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\"    -O3 -c -o timing.lo timing.cpp
       > libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\" -O3 -c timing.cpp -o timing.o
       > /nix/store/5mh7kaj2fyv8mk4sfq1brwxgc02884wi-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\"    -O3 -c -o xwindows.lo xwindows.cpp
       > libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\" -O3 -c xwindows.cpp -o xwindows.o
       > /nix/store/5mh7kaj2fyv8mk4sfq1brwxgc02884wi-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\"    -O3 -c -o x86_dep.lo x86_dep.cpp
       > libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\" -O3 -c x86_dep.cpp -o x86_dep.o
       > /nix/store/5mh7kaj2fyv8mk4sfq1brwxgc02884wi-bash-5.2p37/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\"     -c -o x86assembly_gas64.lo x86assembly_gas64.S
       > libtool: compile:  gcc -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\" -c x86assembly_gas64.S -o x86assembly_gas64.o
       > /nix/store/5mh7kaj2fyv8mk4sfq1brwxgc02884wi-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\"    -O3 -c -o elfexport.lo elfexport.cpp
       > libtool: compile:  g++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/8110nnykrk36ik8zz7h00q3bg133gphx-polyml-for-isabelle-2024/lib/polyml/modules\" -O3 -c elfexport.cpp -o elfexport.o
       > In file included from elfexport.cpp:98:
       > /nix/store/kj8hbqx4ds9qm9mq7hyikxyfwwg13kzj-glibc-2.40-36-dev/include/asm/elf.h:14:15: error: expected constructor, destructor, or type conversion before '(' token
       >    14 | _Static_assert(sizeof(struct x86_xfeat_component) % 4 == 0, "x86_xfeat_component is not aligned");
       >       |               ^
       > make[2]: *** [Makefile:766: elfexport.lo] Error 1
       > make[2]: Leaving directory '/build/source/libpolyml'
       > make[1]: *** [Makefile:710: all-recursive] Error 1
       > make[1]: Leaving directory '/build/source'
       > make: *** [Makefile:469: all] Error 2

Additional context

nixpkgs master

Metadata

Notify maintainers

---

Note for maintainers: Please tag this issue in your PR.

---

Add a 👍 reaction to issues you find important.

[paparodeo]

this is due to _Static_assert showing up in linux header files and effects other builds too. here is one fix for polyml: #372200