diff options
Diffstat (limited to 'makefiles/Makefile.tools')
-rw-r--r-- | makefiles/Makefile.tools | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/makefiles/Makefile.tools b/makefiles/Makefile.tools index 8a104d7..74bc17f 100644 --- a/makefiles/Makefile.tools +++ b/makefiles/Makefile.tools @@ -22,6 +22,8 @@ # (defaults to /usr/local) # LIBDIR Library installation directory in ${PREFIX} # (defaults to lib) +# INCLUDEDIR Header installation directory in ${PREFIX} +# (defaults to include) # ############################################################################### @@ -241,6 +243,9 @@ PREFIX ?= /usr/local # Default libdir LIBDIR ?= lib +# Default includedir +INCLUDEDIR ?= include + ############################################################################### # Tool defaults ############################################################################### |