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)