Searched defs:PFE_TOOLDIR (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile129 PFE_TOOLDIR := $(wildcard $(dir $(PFE_SETUP))) macro
137 PFE_PATHS := $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
166 $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
167 $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))
/hets/debian/
H A Drules129 PFE_TOOLDIR := $(wildcard $(dir $(PFE_SETUP))) macro
137 PFE_PATHS := $(addprefix $(PFE_TOOLDIR)/, $(PFE_DIRS))
166 $(addprefix $(PFE_TOOLDIR)/base/AST/, $(Ast_Haskell_files)) \
167 $(addprefix $(PFE_TOOLDIR)/, $(Other_PFE_files)))

Completed in 258 milliseconds