mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
a0f5d34e25
Issue #4094
20 lines
1.1 KiB
Plaintext
20 lines
1.1 KiB
Plaintext
file origins
|
|
------------
|
|
|
|
- bits/gstdint.h: manually created
|
|
- ../spec/<arch>/stdcxx/bits/c++config.h:
|
|
- gathered from Noux-gcc built with the previous stdcxx version
|
|
- apply https://raw.githubusercontent.com/cproc/genode_stuff/stdcxx/stdcxx_update_genode.patch
|
|
- update the gcc port hash
|
|
- prepare the modified gcc port
|
|
- run 'make noux-pkg/gcc_x86' for the 'x86_32' platform
|
|
- copy 'build/x86_32/noux-pkg/gcc_x86/x86_64-pc-elf/32/libstdc++-v3/include/x86_64-pc-elf/bits/c++config.h'
|
|
- run 'make noux-pkg/gcc_x86' for the 'x86_64' platform
|
|
- copy 'build/x86_64/noux-pkg/gcc_x86/x86_64-pc-elf/64/libstdc++-v3/include/x86_64-pc-elf/bits/c++config.h'
|
|
- run 'make noux-pkg/gcc_arm' for the 'arm_v7a' platform
|
|
- copy 'build/arm_v7a/noux-pkg/gcc_arm/arm-none-eabi/libstdc++-v3/include/arm-none-eabi/bits/c++config.h'
|
|
- run 'make noux-pkg/gcc_arm_64' for the 'arm_v8a' platform
|
|
- copy 'build/arm_v8a/noux-pkg/gcc_arm_64/aarch64-none-elf/libstdc++-v3/include/aarch64-none-elf/bits/c++config.h'
|
|
- #define _GLIBCXX_HAS_GTHREADS 1 in all of the copied files
|
|
- #undef _GLIBCXX_HAVE_TLS in all of the copied files
|