Open trygvis opened 4 years ago
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.
-I
#include
Thanks for the input. I'll consider adding custom include paths in a future release.
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
.