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

/hets/
H A DMakefile842 HETS_DIR := lib/hets macro
849 BASEDIR = $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-owl-tools
887 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools \
888 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-maude-lib \
892 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)
894 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools/
896 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools/
898 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-maude-lib/
902 ln -sf $${BACK}/$(HETS_DIR)/hetcasl.sty \
914 $(DESTDIR)$(SUBDIR_$*)$(PREFIX)/$(HETS_DIR) \
[all...]
/hets/debian/
H A Drules842 HETS_DIR := lib/hets macro
849 BASEDIR = $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-owl-tools
887 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools \
888 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-maude-lib \
892 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)
894 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools/
896 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-isa-tools/
898 $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-maude-lib/
902 ln -sf $${BACK}/$(HETS_DIR)/hetcasl.sty \
914 $(DESTDIR)$(SUBDIR_$*)$(PREFIX)/$(HETS_DIR) \
[all...]

Completed in 986 milliseconds