Configuration for compilation

You must enable the batch flag in cmake arguments. Typically, if you build DIET from the command line, you can use the following:

ccmake $diet_src_path
-DDIET_USE_ALT_BATCH:BOOL=ON