diff options
Diffstat (limited to 'configs/default')
| -rw-r--r-- | configs/default | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/configs/default b/configs/default index 37b693932d6..a14078fa269 100644 --- a/configs/default +++ b/configs/default @@ -25,11 +25,13 @@ LDFLAGS = GLU_CFLAGS = # Misc tools and flags +SHELL = /bin/sh +MKLIB = $(SHELL) $(TOP)/bin/mklib MKLIB_OPTIONS = MKDEP = makedepend MKDEP_OPTIONS = -fdepend MAKE = make -INSTALL = $(TOP)/bin/minstall +INSTALL = $(SHELL) $(TOP)/bin/minstall # Tools for regenerating glapi (generally only needed by the developers) PYTHON2 = python @@ -84,7 +86,9 @@ APP_LIB_DEPS = -lm # Installation directories (for make install) INSTALL_DIR = /usr/local -DRI_DRIVER_INSTALL_DIR = $(INSTALL_DIR)/$(LIB_DIR)/dri +INSTALL_LIB_DIR = $(INSTALL_DIR)/$(LIB_DIR) +INSTALL_INC_DIR = $(INSTALL_DIR)/include +DRI_DRIVER_INSTALL_DIR = $(INSTALL_LIB_DIR)/dri # Where libGL will look for DRI hardware drivers DRI_DRIVER_SEARCH_DIR = $(DRI_DRIVER_INSTALL_DIR) |