mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
noux_tool_chain: remove now unsed libraries
Zlib as well as readline were originally pulled in as a dependency of pcre. They are now removed because pcre itself does not need them.
This commit is contained in:
committed by
Christian Helmuth
parent
febfb3bfe6
commit
6d941ede1c
@@ -249,7 +249,7 @@ install_config $config
|
||||
set boot_modules {
|
||||
core init timer ld.lib.so noux terminal ram_fs
|
||||
libc.lib.so libm.lib.so libc_noux.lib.so ncurses.lib.so stdcxx.lib.so
|
||||
pcre.lib.so zlib.lib.so readline.lib.so posix.lib.so
|
||||
pcre.lib.so posix.lib.so
|
||||
}
|
||||
|
||||
append boot_modules { gmp.lib.so mpfr.lib.so mpc.lib.so }
|
||||
|
||||
Reference in New Issue
Block a user