Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History

In Project(s)

Searched defs:PREFIX (Results 1 - 5 of 5) sorted by relevance

/hets/
H A D	Makefile	839 PREFIX ?= /usr macro 841 # all _relative_ wrt. $(PREFIX) and w/o trailing slashes 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)/ [all...]
/hets/debian/
H A D	rules	839 PREFIX ?= /usr macro 841 # all _relative_ wrt. $(PREFIX) and w/o trailing slashes 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)/ [all...]
/hets/MMT/
H A D	hets-mmt-standalone.jar	`main/main.jar .version OneJar.class OneJar.java package public OneJar extends java.lang ...`
/hets/OWL2/java/lib/
H A D	owlapi-osgidistribution-3.5.2.jar	`META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...`
/hets/CASL/Termination/
H A D	AProVE.jar	`META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...`

Completed in 36 milliseconds