1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
project('drvemu', 'c',
default_options : ['c_std=gnu99'])
add_project_arguments('-D_GNU_SOURCE', language: 'c')
dl = dependency('dl')
ddk_path = get_option('ddk-path')
if ddk_path == ''
error('ddk-path is required')
endif
ddk_path += '/eurasia_km'
incs = [
ddk_path + '/services4/srvkm/hwdefs',
ddk_path + '/include4',
ddk_path + '/services4/include',
ddk_path + '/services4/system/sgx_jz4780',
ddk_path + '/services4/include/env/linux',
ddk_path + '/services4/srvkm/devices/sgx',
ddk_path + '/services4/srvkm/env/linux',
'./src'
]
shared_library('drvemu',
'src/drvemu.c',
build_by_default: true,
include_directories: incs,
dependencies: dl)
|
