exa2pro/starpu-max: porting work to Maxeler DFE @ 00042d3039ea64862f7f182512056d8b819ff23e

Samuel Thibault 00042d3039 Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib		лет назад: 9
..
Makefile	00042d3039 Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib	лет назад: 9
platform.xml	f93028199e Add a simgrid model-checking trivial test for now	лет назад: 9
prio_list.c	00042d3039 Fix build from starpu with old simgrid: BUILDING_STARPU is only for the lib	лет назад: 9
prio_list.sh.in	d8991796b2 Run model checking during make check	лет назад: 9
prio_list2.c	b83f2454f2 Add copyright	лет назад: 9