begriffs open source - acsl-example/blob - meson.build

   1 project('acsl-example', 'c',
   2   version : '1.0.0',
   3   default_options : ['warning_level=3'])
   4
   5 # Include directories
   6 inc_dir = include_directories('inc')
   7
   8 # Process subdirectories
   9 subdir('src')
  10
  11 # Add individual find function tests
  12 find_files = ['find1.c', 'find2.c', 'find3.c']
  13 foreach find_file : find_files
  14   test_name = find_file.replace('.c', '')
  15   test(test_name,
  16     find_program('bash'),
  17     args : [files('test/test_frama_c_single.sh'), find_file],
  18     workdir : meson.current_source_dir() / 'test',
  19     timeout : 30,
  20     suite : 'proof')
  21 endforeach