version 1.16, 2001/12/13 14:53:31
|
version 1.17, 2001/12/18 08:12:50
|
|
|
OBJ_DIR = $(HOME_DIR)/obj/$(DIR) | OBJ_DIR = $(HOME_DIR)/obj/$(DIR) |
BIN_DIR = $(HOME_DIR)/bin | BIN_DIR = $(HOME_DIR)/bin |
LIB_DIR = $(HOME_DIR)/lib | LIB_DIR = $(HOME_DIR)/lib |
|
|
|
# define the location for the repository |
|
|
REPOSITORY_ROOT = $(HOME_DIR)/repository | REPOSITORY_ROOT = $(HOME_DIR)/repository |
| |
LEX = flex | LEX = flex |
|
|
the following: $(VALID_PLATFORMS) | the following: $(VALID_PLATFORMS) |
@ exit 1 | @ exit 1 |
endif | endif |
|
|
|
|
|
############################################################ |
|
# |
|
# Set up other Make Variables that depend on platform config files |
|
# |
|
############################################################ |
|
|
|
# This is temporary until we end up with a better place to |
|
# put this variable |
|
# Makefiles can do directory remove with |
|
# $(RMREPOSITORY) repositoryname |
|
# |
|
RMREPOSITORY = $(RMDIRHIER) |
|
|