Julius Plehn 0e43f52991 FLEXI: Updates cmake options according to recent changes (#23042) ... * fixes cmake options * adds several optional tools * use tag & consistent names		2021-04-25 23:26:11 +02:00
..
spack	FLEXI: Updates cmake options according to recent changes (#23042)	2021-04-25 23:26:11 +02:00