Different filetypes

[kostasdizas]

Hello,
is it possible to run flint++ with different file extensions? Specifically .ino files created for the Arduino IDE. Renaming the files to .cpp temporarily works but is not an ideal solution.

Adding the .ino extension in the FileCategories.cpp file looks like a step in the right direction, but flint++ expects a header file which prevents it from completing any tests.

Thanks in advance