Christian Helmuth
18546ea16d
Use https URLs for qt5 downloads
...
The site download.qt.io seems to apply some mirror-via-HTTP-redirect
scheme which, unfortunately, seems broken (and therefore annoyingly
slow) for non-SSL-secured URLs.
2019-03-18 15:56:23 +01:00
Alexander Senier
a58fcc3b1e
Update runtime ALIs
2019-03-18 15:56:23 +01:00
Alexander Senier
4c8d787918
Port libsparkcrypto
2019-03-18 15:56:23 +01:00
Christian Helmuth
a5d0f6a2af
ada: fix ada-runtime-alis for current changes
...
Note, this also adapts the spark depot recipe to preserve source-file
time stamps.
2019-02-28 11:34:07 +01:00
Johannes Kliemann
fa5de776a6
ada: add arit64 to runtime
2019-02-28 11:34:06 +01:00
Alexander Senier
f30a82d599
ada: provide runtime symbols for elaboration code
2019-02-28 11:32:53 +01:00
Alexander Senier
5ccae43552
Rename Ada runtime to SPARK runtime
...
The minimal-footprint Ada runtime for implementing library-like
functionality in SPARK is now called "spark" runtime.
The full Ada runtime for entire components written in Ada and using the
libc as glue to the underlying system will move to the world repository
as "ada" runtime.
Issue #3144
2019-02-19 11:08:17 +01:00
Emery Hemingway
968e220fd2
Update jbig2dec to version 0.15
...
Ref #3131
2019-02-12 10:33:14 +01:00
Emery Hemingway
13268ec401
Update libpng to version 1.6.36
...
Fix #3131
2019-02-12 10:33:14 +01:00
Christian Prochaska
342ddcf71a
libsanitizer: replace use of 'Genode::printf()'
...
Fixes #3129
2019-01-30 13:49:55 +01:00
Norman Feske
6154d9067e
libports: avoid using deprecated APIs
...
Issue #1987
Issue #3125
2019-01-30 13:49:55 +01:00
Alexander Senier
14cd115c82
Support GNAT.IO in Ada programs
2019-01-14 12:21:10 +01:00
Josef Söntgen
f113460348
Move FUSE to world
...
Fixes #3104 .
2019-01-07 12:43:37 +01:00
Norman Feske
39085f08fc
Move libav, avplay, and qt_avplay to genode-world
...
Fixes #3103
2019-01-07 12:43:37 +01:00
Norman Feske
a15b825418
Move libsdl and companion libs to genode-world
...
Fixes #3100
2019-01-07 12:43:37 +01:00
Josef Söntgen
0139fa20ff
libports: add tcp_fsm header to libc includes
...
Needed by lighttpd-1.4.52
Issue #3069 .
2019-01-07 12:33:54 +01:00
Josef Söntgen
c58ad11f2f
libports: update OpenSSL to 1.0.2q
...
And enable SSL_CONF_* in libssl, needed by lighttpd's mod_openssl.
Issue #3069 .
2019-01-07 12:33:54 +01:00
Stefan Kalkowski
5147c71fdf
qt5: update qtscriptclassic archive path
2019-01-07 12:33:54 +01:00
Christian Prochaska
c2884a6e63
libports: libubsan and libsanitizer_common
...
Issue #3072
2019-01-07 12:33:54 +01:00
Christian Prochaska
73e3ed0bd0
gcov: print annotated source only on incomplete coverage
...
Fixes #3071
2019-01-07 12:25:46 +01:00
Christian Prochaska
97d8bea5ec
gcov: print selected annotated source files only
...
Fixes #3070
2019-01-07 12:25:46 +01:00
Christian Prochaska
ac8d030855
gcov: open files in buffered mode
...
Fixes #3065
2019-01-07 12:25:43 +01:00
Sebastian Sumpf
91225fbcca
qt5: forward window title to nitpicker
...
This enables Qt5 applications to set a Genode label via 'setWindowTitle'
from within Qt5 applications, and thus, making them identifiable to
other Genode components, like a layout manager.
fixes #3046
2018-11-29 11:54:29 +01:00
Emery Hemingway
7f1974e9e8
Update lwIP to 2.1.2
...
Fix #3035
2018-11-29 11:46:02 +01:00
Emery Hemingway
8ad56a6c0e
Move libc headers to conform to x86_32, x86_64, and arm SPECS
...
Move the libc-i386, libc-amd64, and libc-arm include directories into
the standard "include/spec" directory. This allows the platform specific
headers in the libc API package to be detected in a generic manner.
Ref #3051
2018-11-29 11:46:01 +01:00
Emery Hemingway
7a11384177
Merge pthread into libc library
...
The pthread API is considered a standard feature of libc so better to
simply merge it with the libc. Pthreads are in fact already a part of
the libc in the form of weak symbols. This merger is also a prerequisite
for better integrating pthreads with the libc I/O task.
Fix #3054
2018-11-29 11:46:01 +01:00
Christian Prochaska
e74771e047
libports: add libgcov and gcov tool
...
Issue #3048
2018-11-29 11:46:01 +01:00
Emery Hemingway
15039f3ae8
Update MPFR port URL
...
Ref #3028
2018-11-27 11:38:13 +01:00
Emery Hemingway
63b6e04dae
Move GMP spec directories to standard locations
...
Ref #3028
2018-11-27 11:38:13 +01:00
Johannes Kliemann
eb7c367e25
ada: replace local runtime implementation with port
...
Fixes #3044
2018-11-27 11:36:36 +01:00
Christian Helmuth
712df01341
libports: update hash of downloaded fatfs sources
...
The author updated http://www.elm-chan.org/fsw/ff/arc/ff13b.zip recently
with a marginal change of documents/doc/appnote.html.
2018-11-27 11:36:35 +01:00
Emery Hemingway
e63a870bce
Update lwIP to 2.1.1
...
Fix #3035
2018-11-27 11:36:35 +01:00
Emery Hemingway
bc539ce892
Native Solo5 bindings
...
A shared library implementation of the unikernel middleware.
https://github.com/Solo5/solo5
Fix #2945
2018-11-16 15:07:52 +01:00
Christian Prochaska
7c9e850235
qt5: add typeinfo and vtable symbols to symbol files
...
Fixes #3025
2018-11-16 14:37:18 +01:00
Josef Söntgen
82fb76c142
libssh: add async event bind patch
...
Issue #3014 .
2018-10-29 09:36:22 +01:00
Josef Söntgen
9ab288d8e3
libports: update libssh to 0.8.4
...
Issue #3014 .
2018-10-29 09:36:22 +01:00
Pirmin Duss
b112b7b4ce
mesa: fix port_prepare on ARCH Linux
...
Issue #3003
2018-10-29 09:36:22 +01:00
Christian Helmuth
cc311355cd
libports: update hash of downloaded fatfs sources (again)
...
The author updated http://www.elm-chan.org/fsw/ff/arc/ff13b.zip again
with a marginal documentation changes and an additional example.
Issue #2766
2018-09-05 11:04:24 +02:00
Christian Helmuth
20668ccfa3
libports: download bzip2 port from fossies.org
...
The original bzip.org domain expired.
Issue #2766
2018-09-05 11:04:24 +02:00
Emery Hemingway
fcbe060096
Remove legacy lwIP plugins
...
Now that the lwIP VFS plugin has become a first class IP stack it is
time to remove the lwIP 1.x library and the associated libc plugins.
Fix #2958
2018-09-05 11:04:22 +02:00
Martin Stein
023de11dc6
acpica port: update to version 2018-08-10
...
Fixes #2935
2018-08-28 16:48:46 +02:00
Christian Prochaska
14a338af40
qt5: QtTest support
...
Fixes #2933
2018-08-28 16:45:27 +02:00
Christian Prochaska
80974b8f62
qt5: print error message in qtwebkit on failed 'mmap()'
...
Fixes #2927
2018-08-08 11:29:57 +02:00
Emery Hemingway
bf8b52ec3a
Update LwIP to 2.1.0.rc1
...
This release candidate suppresses the remaining build warnings.
Ref #2335
2018-08-02 14:36:49 +02:00
Emery Hemingway
d9a4773194
LwIP VFS plugin
...
This patch reintroduces the LwIP stack to libc as a VFS plugin
implementing the socket_fs interface. Rather than use LwIP's socket
emulation layer this plugin interfaces directly to LwIP raw API and is
single threaded.
The internal TCP parameters of the stack are untuned.
Fix #2050
Fix #2335
2018-08-02 14:36:48 +02:00
Emery Hemingway
ac30e49df7
Update libssh to 0.7.5
...
Fix #2921
2018-08-02 14:36:48 +02:00
Sebastian Sumpf
82075a340d
qemu-usb: add isochronous packet support to XHCI
...
fixes #2910
2018-08-02 14:36:46 +02:00
Christian Helmuth
5f9ac94bef
libports: update hash of downloaded fatfs sources
...
The author updated http://www.elm-chan.org/fsw/ff/arc/ff13b.zip recently
with a marginal change of documents/doc/appnote.html.
2018-08-02 14:36:42 +02:00
Emery Hemingway
745926d588
Convert pdf_view to a Nitpicker client
...
A native Nitpicker client uses less resources than a Framebuffer client
wrapped in a sub-init with nit_fb.
Fix #2871
2018-06-29 10:44:57 +02:00
Josef Söntgen
74dcc7a3d5
libc: use socket fs for DNS information
...
The libc will now use the file given by the 'nameserver_file' attribute
to get the DNS nameserver address instead of reading '/etc/resolv.conf'.
It defaults to '/socket/nameserver' which is the common location when
using the lxip VFS plugin. As a constraint the libc will read the first
line and expects the nameserver address without any keywords in front of
it.
Fixes #2861 .
2018-06-29 10:44:55 +02:00