2
MACRO_DIR = $(TOP)/macros
5
MAIN_SRC_DIR = $(SRC_DIR)/main
6
FULL_SRC_DIR = $(SRC_DIR)/full
7
CORE_SRC_DIR = $(SRC_DIR)/core
8
TRANSL_SRC_DIR = $(SRC_DIR)/transl
9
COMPAT_SRC_DIR = $(SRC_DIR)/compat
12
FULL_OUT_DIR = $(OUT_DIR)/full
13
CORE_OUT_DIR = $(OUT_DIR)/core
14
TRANSL_OUT_DIR = $(OUT_DIR)/transl
17
HADDOCK_DIR = $(DOC_DIR)/haddock
19
AGDA_BIN = $(TOP)/dist/build/agda/agda