Makefile should recompile swig when a header is modified
When a C++ header is modified (modification of prototypes), we must touch python/spot/impl.i
. This should be handled by the Makefile.
When a C++ header is modified (modification of prototypes), we must touch python/spot/impl.i
. This should be handled by the Makefile.