Skip to content

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.