MACRO_DIR		= $(TOP)/macros

SRC_DIR			= $(TOP)/src
MAIN_SRC_DIR	= $(SRC_DIR)/main
FULL_SRC_DIR	= $(SRC_DIR)/full
CORE_SRC_DIR	= $(SRC_DIR)/core
TRANSL_SRC_DIR	= $(SRC_DIR)/transl
COMPAT_SRC_DIR	= $(SRC_DIR)/compat

OUT_DIR			= $(TOP)/out
FULL_OUT_DIR	= $(OUT_DIR)/full
CORE_OUT_DIR	= $(OUT_DIR)/core
TRANSL_OUT_DIR	= $(OUT_DIR)/transl

DOC_DIR			= $(TOP)/doc
HADDOCK_DIR		= $(DOC_DIR)/haddock

AGDA_BIN		= $(MAIN_SRC_DIR)/dist/build/agda/agda