diff --git a/polly/Makefile.config.in b/polly/Makefile.config.in index 231fb9862489..c4831fcd69c8 100644 --- a/polly/Makefile.config.in +++ b/polly/Makefile.config.in @@ -28,6 +28,7 @@ endif POLLY_CXXFLAGS += "-fno-rtti -fno-exceptions" +PLUTO_FOUND := @pluto_found@ CLOOG_FOUND := @cloog_found@ OPENSCOP_FOUND := @openscop_found@ SCOPLIB_FOUND := @scoplib_found@