denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Genode SDK

Browse Source 
Makefile for generating a Genode SDK.

Fix #2948
This commit is contained in:
Emery Hemingway
2018-08-26 22:11:04 +02:00
committed by Christian Helmuth
parent 447329eaee
commit 918281b01f
9 changed files with 290 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
tool/sdk/genode-libc.pc.in Normal file
View File

@@ -0,0 +1,11 @@
prefix=!SDK_DIR!
includedir=${prefix}/include/libc
libdir=${prefix}/lib
Name: genode-libc
Description: Genode C runtime library
URL: https://genode.org/
Version: !VERSION!
Requires: genode-base genode-vfs
Cflags: -D__FreeBSD__=8 -D__ISO_C_VISIBLE=1999 -fno-builtin-sin -fno-builtin-cos -fno-builtin-sinf -fno-builtin-cosf -I${includedir} -I${includedir}/libc -I${includedir}/libc/libc -I${includedir}/libc-genode
Libs: ${libdir}/libc.lib.so ${libdir}/libm.lib.so