10 lines
277 B
PkgConfig
10 lines
277 B
PkgConfig
|
libdir=@out@/lib
|
||
|
|
||
|
Name: genode-libc
|
||
|
Description: Genode C runtime library
|
||
|
URL: https://genode.org/
|
||
|
Version: @version@
|
||
|
Requires: vfs
|
||
|
Cflags: -D__FreeBSD__=8 -D__ISO_C_VISIBLE=1999 -fno-builtin-sin -fno-builtin-cos -fno-builtin-sinf -fno-builtin-cosf
|
||
|
Libs: ${libdir}/libc.lib.so
|