Norman Feske
0e0b6bdde7
depot: update recipe hashes
2019-02-19 11:13:56 +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
Christian Helmuth
271e2398f9
depot: update recipe hashes
2019-02-12 14:24:12 +01:00
Norman Feske
3a169d3a78
depot: update recipe hashes
2019-01-30 13:55:20 +01:00
Norman Feske
ed65267bc5
depot: update recipe hashes
2019-01-14 12:34:41 +01:00
Alexander Senier
14cd115c82
Support GNAT.IO in Ada programs
2019-01-14 12:21:10 +01:00
Christian Helmuth
21a61cd583
depot: update recipe hashes
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
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
Christian Prochaska
c2884a6e63
libports: libubsan and libsanitizer_common
...
Issue #3072
2019-01-07 12:33:54 +01:00
Emery Hemingway
f2df40f58b
Add simple Solo5 tests to depot autopilot
...
Add the following Solo5 tests to Autopilot: hello, fpu, globals, quiet,
blk. The remaining tests require a Rtc service or IP routing.
Ref #3027
2019-01-07 12:25:43 +01:00
Christian Helmuth
11eecdc7bd
depot: update recipe hashes
2018-11-29 11:54:31 +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
18e855e4d5
Genode toolchain depot package
...
Fix #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
70e7499e48
depot: update recipe hashes
2018-11-16 15:07:53 +01:00
Martin Stein
146f45f3d4
Archive recipes for autopilot tests
2018-11-16 15:07:53 +01:00
Martin Stein
0c60b312be
liports/recipes: api/ and src/python
2018-11-16 15:07:53 +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 Helmuth
0867da28a2
depot: update recipe hashes
2018-10-29 09:36:23 +01:00
Christian Helmuth
5dcf06d208
depot: update recipe hashes
2018-09-13 15:21:26 +02:00
Norman Feske
2049498af0
depot: update recipe hashes
2018-09-05 11:04:24 +02:00
Christian Helmuth
c2e0d0ae20
depot: update recipe hashes
2018-08-30 09:25:10 +02:00
Christian Prochaska
14a338af40
qt5: QtTest support
...
Fixes #2933
2018-08-28 16:45:27 +02:00
Christian Helmuth
f4ea50c6ff
depot: update recipe hashes
2018-08-08 10:59:04 +02:00
Emery Hemingway
e521e100f1
Move LwIP to API package
...
This fix vfs_lwip recursion on archive creation.
Ref #2335
2018-08-08 10:59:03 +02:00
Emery Hemingway
ac30e49df7
Update libssh to 0.7.5
...
Fix #2921
2018-08-02 14:36:48 +02:00
Christian Helmuth
b485caf33c
depot: update recipe hashes
2018-07-03 09:40:11 +02:00
Christian Helmuth
bd86efe5fe
depot: update recipe hashes
2018-05-31 14:02:21 +02:00
Norman Feske
df9eb55c5a
depot: recipe for api/jitterentropy
...
The API archive makes the library usable for src/gpt_write.
2018-05-30 13:36:24 +02:00
Sebastian Sumpf
8605e15b4f
libc: add suspend and resume_all to symbol map
...
This commit enables the pthread library to hook into the libc execution
model and can be reverted after #2812 is fixed.
Issue #2791
2018-05-30 13:36:05 +02:00
Christian Prochaska
f347cb90f1
depot: qt5 recipes
...
Fixes #2792
2018-05-30 12:26:19 +02:00
Christian Helmuth
3b7d6394d7
depot: update recipe hashes
2018-05-03 15:32:01 +02:00
Christian Helmuth
674b0ba947
Depot: nic_router-nat-dns
...
A runtime package that provides a Nic session with NAT via the
nic_router and a DNS service via Stubby.
Ref #2682
2018-05-03 15:31:59 +02:00
Christian Prochaska
cbdeb41094
depot: icu recipe
...
Fixes #2785
2018-05-03 15:31:54 +02:00
Christian Prochaska
be8addc608
depot: mesa recipe
...
Fixes #2784
2018-05-03 15:31:53 +02:00
Christian Prochaska
b2935b504d
depot: drm recipe
...
Fixes #2772
2018-05-03 15:31:20 +02:00
Christian Prochaska
f58717205a
depot: qoost recipe
...
Fixes #2771
2018-05-03 15:31:20 +02:00
Christian Prochaska
1d6301c689
depot: expat recipe
...
Fixes #2769
2018-05-03 15:31:20 +02:00
Christian Prochaska
4aefa395af
depot: pcre16 recipe
...
Fixes #2768
2018-05-03 15:31:19 +02:00
Christian Helmuth
b07d6eced8
depot: update recipe hashes
2018-03-29 14:59:07 +02:00
Emery Hemingway
219c2fa2e1
EGL api library
...
Library for EGL headers only. Useful for components that dynamically
load an EGL shared library.
Fix #2718
2018-03-27 13:44:27 +02:00
Christian Helmuth
1f7b5e75bf
depot: update recipe hashes
2018-03-08 12:05:10 +01:00
Christian Helmuth
a8f186c7d4
depot: update recipe hashes
2018-02-28 11:05:05 +01:00
Norman Feske
e79ce5a036
depot: update recipe hashes
2018-02-16 08:42:31 +01:00
Emery Hemingway
90753f3e50
Update Fatfs library to 0.13a, vfs_fatfs recipe
...
Fix #2673
2018-02-14 20:41:07 +01:00
Norman Feske
8d09d02b85
depot: update recipe hashes
2018-02-09 13:34:24 +01:00
Norman Feske
f1ce555cd9
depot: recipes for src/extract and used libs
2018-02-09 13:34:13 +01:00