# HG changeset patch
# User oheimb
# Date 837196992 -7200
# Node ID 09c90fdcd9f236c6934bad0af469743eeca8f3c6
# Parent  df6097d0ff2e17bed1c638945ef9ef6f334c2b01
added configuration for STEM

diff -r df6097d0ff2e -r 09c90fdcd9f2 src/Tools/8bit/Makefile
--- a/src/Tools/8bit/Makefile	Fri Jul 12 20:41:24 1996 +0200
+++ b/src/Tools/8bit/Makefile	Fri Jul 12 20:43:12 1996 +0200
@@ -55,6 +55,9 @@
 
 CONFIGFIlES = config/Makefile config/key-table.inp config/conv-tables.inp
 
+#path stem to isabelle source, used by patcher
+STEM = /usr/stud/oheimb/isabelle/
+
 ###############################################
 # configuration for configuration files in ./config
 ###############################################
@@ -110,15 +113,19 @@
 	bin/isa_gnu_emacs bin/isa_xemacs bin/isavim bin/isaaxe\
 	bin/isaterm bin/isa_xmosaic bin/isapal bin/codetable bin/patcher\
 	fonts/install keyboard/install\
-	manual
+	isa-patches/HOL/add-HOL.cfg isa-patches/HOL/clean-HOL.cfg\
+	isa-patches/HOL/extract-HOL.cfg\
+	isa-patches/HOLCF/add-HOLCF.cfg isa-patches/HOLCF/clean-HOLCF.cfg\
+	isa-patches/HOLCF/extract-HOLCF.cfg\
+	manual\
 
 # ----------------------------------------------------
 
 clean:
-	cd bin; rm -f *
+	cd bin; rm -f a2isa codetable gen-* isa* patcher
 	cd c-sources/a2isa; $(GMAKE) clean
 	cd c-sources/isa2latex; $(GMAKE) clean
-	cd doc; rm -f *.log *.aux
+	cd doc; $(GMAKE) clean
 
 ###############################################
 # internal targets        
@@ -367,7 +374,26 @@
 		-e "s#^HYPER_R\s*=.*#HYPER_R=$(HYPER_R)#g;"\
 		install
 
+isa-patches/HOL/add-HOL.cfg: Makefile
+	@cd isa-patches/HOL;\
+	$(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" add-HOL.cfg
+isa-patches/HOL/clean-HOL.cfg: Makefile
+	@cd isa-patches/HOL;\
+	$(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" clean-HOL.cfg
+isa-patches/HOL/extract-HOL.cfg: Makefile
+	@cd isa-patches/HOL;\
+	$(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" extract-HOL.cfg
+isa-patches/HOLCF/add-HOLCF.cfg: Makefile
+	@cd isa-patches/HOLCF;\
+	$(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" add-HOLCF.cfg
+isa-patches/HOLCF/clean-HOLCF.cfg: Makefile
+	@cd isa-patches/HOLCF;\
+	$(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" clean-HOLCF.cfg
+isa-patches/HOLCF/extract-HOLCF.cfg: Makefile
+	@cd isa-patches/HOLCF;\
+	$(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" extract-HOLCF.cfg
+
 # ----------------------------------------------------
 
 manual:
-	@cd doc; $(GMAKE) manual.dvi clean
+	@cd doc; $(GMAKE) manual.dvi