# This file contains additional flags for the main Makefile.

include $(srcdir)/integer/Makeflags
SUBDIR_INCLUDES +=