Makeflags

   1 # This file contains additional flags for the main Makefile.
   2
   3 include $(srcdir)/float/Makeflags
   4 SUBDIR_INCLUDES += -I$(srcdir)/integer -I$(srcdir)/base/random