if get_option('time')
	time_filenames = [
		'benchmark.c',
		'time.c',
		'time_private.h',
	]
else
	time_filenames = []
endif

time_sources = files(time_filenames)