Searched refs:BASEDIR (Results 1 - 3 of 3) sorted by relevance

/hets/debian/
H A Dhets_script3 BASEDIR=@CLIENT_BASEDIR@
7 HETS_MAGIC="${BASEDIR}/lib/hets/hets.magic"
9 HETS_LIB="${BASEDIR}/lib/hets/hets-lib"
11 HETS_OWL_TOOLS="${BASEDIR}/lib/hets/hets-owl-tools"
13 HETS_ISA_TOOLS="${BASEDIR}/lib/hets/hets-isa-tools"
15 HETS_MAUDE_LIB="${BASEDIR}/lib/hets/hets-maude-lib"
17 HETS_HOLLIGHT_TOOLS="${BASEDIR}/lib/hets/hets-hollight-tools"
20 HETS_OCAML_LIB_DIR="${BASEDIR}/lib/ocaml/compiler-libs"
23 MAUDE_LIB="${BASEDIR}/share/maude"
25 HETS_HOL_DIR="${BASEDIR}/shar
[all...]
H A Drules849 BASEDIR = $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-owl-tools macro
852 $(BASEDIR)/lib/native/i686 \
853 $(BASEDIR)/lib/native/x86_64 \
854 $(BASEDIR)/tests
855 $(INSTALL) -m 0644 OWL2/tests/wine.rdf $(BASEDIR)/tests/
856 $(INSTALL) -m 0644 OWL2/*.jar $(BASEDIR)/
857 ln -sf ../CASL/Termination/AProVE.jar $(BASEDIR)/AProVE.jar
858 ln -sf ../DMU/OntoDMU.jar $(BASEDIR)/OntoDMU.jar
859 $(INSTALL) -m 0644 OWL2/java/lib/*.jar $(BASEDIR)/lib/
865 $(BASEDIR)/li
[all...]
/hets/
H A DMakefile849 BASEDIR = $(DESTDIR)$(SUBDIR_common)$(PREFIX)/$(HETS_DIR)/hets-owl-tools macro
852 $(BASEDIR)/lib/native/i686 \
853 $(BASEDIR)/lib/native/x86_64 \
854 $(BASEDIR)/tests
855 $(INSTALL) -m 0644 OWL2/tests/wine.rdf $(BASEDIR)/tests/
856 $(INSTALL) -m 0644 OWL2/*.jar $(BASEDIR)/
857 ln -sf ../CASL/Termination/AProVE.jar $(BASEDIR)/AProVE.jar
858 ln -sf ../DMU/OntoDMU.jar $(BASEDIR)/OntoDMU.jar
859 $(INSTALL) -m 0644 OWL2/java/lib/*.jar $(BASEDIR)/lib/
865 $(BASEDIR)/li
[all...]

Completed in 1346 milliseconds