1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
project('drvemu', 'c',
default_options : ['c_std=gnu99'])
add_project_arguments('-D_GNU_SOURCE', language: 'c')
dl = dependency('dl')
kmod_dir = '/home/lfryzek/Documents/projects/hw/ci20/imgtec_files/kernel_3.18_1.14.3759903/SGX_DDK_Linux_XOrg_MAIN@3759903_source_km/eurasia_km'
incs = [
kmod_dir + '/services4/srvkm/hwdefs',
kmod_dir + '/include4',
kmod_dir + '/services4/include',
kmod_dir + '/services4/system/sgx_jz4780',
kmod_dir + '/services4/include/env/linux',
kmod_dir + '/services4/srvkm/devices/sgx',
kmod_dir + '/services4/srvkm/env/linux',
'./'
]
shared_library('drvemu',
'drvemu.c',
build_by_default: true,
include_directories: incs,
dependencies: dl)
|
