Support for configuring include path
trygvis opened this issue · comments
Trygve Laugstøl commented
My project doesn't have all its sources in the same directory and use -I
when running Souffle, but the plugin is giving warnings when I'm using #include
.
Lavrenti Frobeen commented
Thanks for the input. I'll consider adding custom include paths in a future release.