175   CONFIGURE_OPTIONS +=    --with-isl=no

   175   CONFIGURE_OPTIONS +=    --with-isl=no

   176   CONFIGURE_OPTIONS +=    --with-cloog=no

   176   CONFIGURE_OPTIONS +=    --with-cloog=no

   177 endif

   177 endif

   178 

   178 

   179 CONFIGURE_OPTIONS +=    --with-build-time-tools=/usr/gnu/bin

   179 CONFIGURE_OPTIONS +=    --with-build-time-tools=/usr/gnu/bin

   180 CONFIGURE_OPTIONS +=	CFLAGS="$(CFLAGS)"

   181 CONFIGURE_OPTIONS +=	CFLAGS="$(CFLAGS)"

   181 CONFIGURE_OPTIONS +=	CXXFLAGS="$(CXXFLAGS)"

   182 CONFIGURE_OPTIONS +=	CXXFLAGS="$(CXXFLAGS)"

   182 CONFIGURE_OPTIONS +=    CPPFLAGS="$(CPPFLAGS)"

   183 CONFIGURE_OPTIONS +=    CPPFLAGS="$(CPPFLAGS)"

   183 

   184 

   184 CONFIGURE_ENV     += PYTHON="$(PYTHON)"

   185 CONFIGURE_ENV     += PYTHON="$(PYTHON)"