Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History

In Project(s)

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

/hets/
H A D	Makefile	842 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 D	rules	842 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 2102 milliseconds