project('drvemu', 'c',
        default_options : ['c_std=gnu99', 'buildtype=debug'])
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

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)

shared_library('wrap',
               'src/wrap.c',
               build_by_default: true,
               include_directories: incs,
               dependencies: dl)