genode/repos/libports/include
Emery Hemingway e36ddaf659 Rename lwip library to lwip_legacy
Rename LwIP library in preparation for removal of LwIP libc plugin. The
current LwIP library will be replaced with a new version stripped of its
synchronous socket support. The next version will be incompatible with
the current, so removing 'lwip.lib.so' completely for a period makes it
easy to identify legacy users.

Fix #2797
2018-05-30 13:36:22 +02:00
..
acpica acpica: generate report usable by platform_drv 2018-05-30 13:36:21 +02:00
EGL EGL api library 2018-03-27 13:44:27 +02:00
fatfs Update FatFS port to version 0.13 2017-08-17 11:04:22 +02:00
freetype-genode Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
fribidi Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
fuse Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
gcc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
gmp Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
jpeg Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
libc Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
libc-genode libc: support syscall(SYS_thr_self,...) 2018-05-30 13:36:07 +02:00
libc-plugin libc: reintegrate libc_resolv library 2017-10-05 17:40:04 +02:00
lwip_legacy Rename lwip library to lwip_legacy 2018-05-30 13:36:22 +02:00
ncurses libports: migrate to new ports mechanism 2014-05-27 11:14:42 +02:00
pcg-c port of PCG random number generator library 2017-08-28 16:49:51 +02:00
python Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
qemu qemu-usb: avoid env deprecated warnings 2017-02-28 12:59:30 +01:00
qt5 depot: qt5 recipes 2018-05-30 12:26:19 +02:00
readline Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
SDL sdl: add OpenGL support 2017-08-30 09:59:59 +02:00
stdcxx stdcxx: define _GLIBCXX11_USE_C99_STDLIB 2018-02-09 13:34:17 +01:00
x86emu Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00