Christian Prochaska
02a8c279dc
gcov: update to version 12.3.0
...
Issue #4827
2023-05-30 12:03:28 +02:00
Christian Prochaska
2e754da822
stdcxx: update to version 12.3.0
...
Issue #4827
2023-05-30 12:03:27 +02:00
Christian Prochaska
78b8b2785c
gcc: update to version 12.3.0
...
Issue #4827
2023-05-30 12:03:27 +02:00
Sebastian Sumpf
07c089e860
stdcxx: add 'std::basic_filebuf' for char
...
needed by glmark2 2023.1
related to genodelabs/genode-world#326
2023-05-30 12:03:27 +02:00
Josef Söntgen
bab90d4837
depot/download: let curl fail on 404 response
...
Downloading non-existent archives from 'depot.genode.org' leads to
files in the 'public' directory containing the 404 error website
delivered by the HTTP server. Specifying the '--fail' option results
in curl generating an exit-code that leads to the appropriate action
by the tool, e.g.:
Error: failed to download 'https://depot.genode.org/user/pkg/x/version.tar.xz '
Issue #4865 .
2023-05-30 12:03:27 +02:00
Christian Helmuth
3fa275354d
test-smp: fix build errors with GCC 12
...
error: 'void operator delete(void*, Genode::Deallocator&)' called on pointer returned from a mismatched allocation function [-Werror=mismatched-new-delete]
Issue #4827
Fixes #4850
2023-05-30 12:03:27 +02:00
Christian Helmuth
d0578700bc
test-cache: fix build errors with GCC 12
...
error: ‘void operator delete(void*, Genode::Deallocator&)’ called on pointer returned from a mismatched allocation function [-Werror=mismatched-new-delete]
Issue #4827
Fixes #4848
2023-05-30 12:03:27 +02:00
Christian Prochaska
e4ac393de4
sel4: fix build errors with gcc 12
...
Fixes #4864
2023-05-30 12:03:27 +02:00
Christian Prochaska
417547c7d9
qt5: fix build errors with gcc 12
...
Fixes #4863
2023-05-30 12:03:27 +02:00
Christian Prochaska
9e021422c7
sanitizer: update to version 12.2.0
...
Issue #4827
2023-05-30 12:03:27 +02:00
Christian Prochaska
106e322f82
gcov: update to version 12.2.0
...
Issue #4827
2023-05-30 12:03:27 +02:00
Christian Prochaska
b8c80c9570
stdcxx: update to version 12.2.0
...
Issue #4827
2023-05-30 12:03:27 +02:00
Christian Prochaska
8920e5fbea
tool_chain: update gprbuild to version 23.0.0
...
Issue #4827
2023-05-30 12:03:27 +02:00
Christian Prochaska
de70f17ee4
gdb: update to version 13.1
...
Issue #4827
2023-05-30 12:03:27 +02:00
Christian Prochaska
b12ebae6cd
gcc: update to version 12.2.0
...
Issue #4827
2023-05-30 12:03:27 +02:00
Christian Prochaska
8602837fd4
binutils: update to version 2.40
...
Issue #4827
2023-05-30 12:03:27 +02:00
Christian Prochaska
f18a12a592
tool chain: update version to 23.05
...
Issue #4827
2023-05-30 12:03:27 +02:00
Norman Feske
8c9ca0e7a9
nitpicker: fix gcc build error
...
An early version of nitpicker used a pointer as 'owner' with the null
pointer representing nitpicker's built-in views, which are nowadays
represented by 'Main::_global_view_ower'. The null-pointer check is a
left-over from the earlier days.
Fixes #4847
2023-05-30 12:03:27 +02:00
Benjamin Lamowski
29238498b6
libc: implement signal(3)
...
Fixes #4824
2023-05-30 12:03:27 +02:00
Benjamin Lamowski
70644186c1
libc: add dummy symbols for the Rust std library
...
Add dummies for sigaltstack(3) and FreeBSD's _umtx_op(2).
Ref #4824
2023-05-30 12:03:27 +02:00
Christian Prochaska
0c70e9e8df
gdb_monitor: fix build error with gcc 12
...
Fixes #4841
2023-05-30 12:03:26 +02:00
Norman Feske
b2bc5912c8
os: use [build_artifacts] in run scripts
...
Issue #4860
2023-05-30 12:03:26 +02:00
Norman Feske
a2832995d0
Remove long unused kdb_uart_drv for fiasco and foc
...
Removed in the context of issue #4860 .
2023-05-30 12:03:26 +02:00
Norman Feske
dab7c64762
os: remove obsolete input.run script
...
Since repos/base/board/pc/devices is empty, the run script no longer
works on PC. Nobody noticed because the use case of this run script -
as development test loop for the ps2 and fb_sdl - are better served by
other scenarios nowadays, e.g., using declaring 'build: ps2' for a
custom Sculpt OS build.
Removed in the context of issue #4860 .
2023-05-30 12:03:26 +02:00
Norman Feske
1cb4b4e2d8
os: remove gpio_led.run and gpio_signal.run
...
The gpio session interface is deprecated and the run scripts are not
regularly executed.
Removed in the context of issue #4860 .
2023-05-30 12:03:26 +02:00
Norman Feske
71bda7db24
Move cpu_quota.run from os to base-hw repository
...
This test works only on the base-hw kernel after all.
2023-05-30 12:03:26 +02:00
Norman Feske
f119d9ee8b
base: use [build_artifacts] in run scripts
...
The patch also removes a few legacies along the way, unifies the coding
style, and cuts back superfluous comments.
Issue #4860
2023-05-30 12:03:26 +02:00
Christian Helmuth
fc71f1848f
tool/tool_chain: log PLATFORM on installation
2023-05-30 12:03:26 +02:00
Josef Söntgen
03ed5fc3f4
dde_bsd: update audio driver to OpenBSD 7.3
...
Fixes #4857 .
2023-05-30 12:03:26 +02:00
Norman Feske
05e5ecca86
vfs: fix dangling allocation in dir_file_system
...
Issue #4855
2023-05-30 12:03:26 +02:00
Alexander Boettcher
2a0e45d0f7
log_core: limit buffer to max log string
...
Fixes #4853
2023-05-30 12:03:26 +02:00
Christian Helmuth
d9643b61af
acpi_drv: count only memory allocated by new()
...
Fixes #4844
2023-05-30 12:03:26 +02:00
Norman Feske
2a49eee50f
libc: improve diagnistics on initialization errors
...
This change helps to draw the connection between warnings during the
initialization of file descriptors and the libc configuration.
2023-05-30 12:03:26 +02:00
Christian Prochaska
901cbf0af3
sd_card_drv: fix build errors with gcc 12
...
Fixes #4851
2023-05-30 12:03:26 +02:00
Christian Prochaska
1742eb16b2
test-segfault: fix build error with gcc 12
...
Fixes #4849
2023-05-30 12:03:26 +02:00
Christian Helmuth
5c501997ca
tool/depot/publish: prevent empty .sig files
...
If GPG signing is aborted, e.g., by pressing CTRL-C, an empty .sig file
remained in PUBLIC_DIR because the file was created by the Bash
redirection. By using '--output $@', gpg maintains the .sig file.
2023-05-30 12:03:26 +02:00
Christian Prochaska
b96004fd71
nvme_drv: fix build errors with gcc 12
...
Fixes #4845
2023-05-30 12:03:26 +02:00
Christian Prochaska
4dc5426a45
trace_recorder: fix build error with gcc 12
...
Fixes #4843
2023-05-30 12:03:26 +02:00
Christian Prochaska
db69104f1a
text_area: fix build error with gcc 12
...
Fixes #4842
2023-05-30 12:03:25 +02:00
Christian Prochaska
1edde7c1bc
fetchurl: fix build errors with gcc 12
...
Fixes #4840
2023-05-30 12:03:25 +02:00
Christian Prochaska
c2aacfa9c4
vfs: fix build error with gcc 12
...
Fixes #4839
2023-05-30 12:03:25 +02:00
Christian Prochaska
aa44ada2d4
okl4: fix hanging tests when built with gcc 12
...
Fixes #4838
2023-05-30 12:03:25 +02:00
Christian Prochaska
0eda98b03e
pistachio: fix build errors with gcc 12
...
Fixes #4837
2023-05-30 12:03:25 +02:00
Christian Prochaska
ed5cbbfa1b
fiasco: fix build errors with gcc 12
...
Fixes #4836
2023-05-30 12:03:25 +02:00
Christian Prochaska
36a1428c55
base-sel4: fix build errors with gcc 12
...
Fixes #4835
2023-05-30 12:03:25 +02:00
Christian Prochaska
c74c8d12cf
base-nova: fix page fault in init when built with gcc 12
...
Fixes #4834
2023-05-30 12:03:25 +02:00
Christian Prochaska
920e240f67
foc: fix build errors with gcc 12
...
Fixes #4833
2023-05-30 12:03:25 +02:00
Christian Prochaska
b29db99f1c
hw: fix build error with gcc 12
...
Fixes #4831
2023-05-08 15:55:35 +02:00
Christian Prochaska
acfeda15a7
base-linux: fix build error with gcc 12
...
Fixes #4830
2023-05-08 15:55:35 +02:00
Christian Prochaska
eab8db228b
base: fix build errors with gcc 12
...
Fixes #4829
2023-05-08 15:55:35 +02:00