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

/hets/
H A DMakefile838 DESTDIR ?= $(DEFAULT_DESTDIR) macro
849 BASEDIR = $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-owl-tools
883 # -m 0755 -d $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DOC_DIR)/html/
884 # -m 0644 docs/* $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DOC_DIR)/html/
887 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools \
888 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-maude-lib \
889 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DIST_LATEX)/hets \
890 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DOC_DIR)
892 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)
894 $(DESTDIR)
[all...]
/hets/debian/
H A Drules838 DESTDIR ?= $(DEFAULT_DESTDIR) macro
849 BASEDIR = $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-owl-tools
883 # -m 0755 -d $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DOC_DIR)/html/
884 # -m 0644 docs/* $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DOC_DIR)/html/
887 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools \
888 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-maude-lib \
889 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DIST_LATEX)/hets \
890 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(DOC_DIR)
892 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)
894 $(DESTDIR)
[all...]

Completed in 19 milliseconds