# HG changeset patch
# User oheimb
# Date 878751074 -3600
# Node ID 06774cd4305430e232011be616e1f779193a8bf9
# Parent  0a3556e5d6ed064f00c595113317f7cc6135ceac
*** empty log message ***

diff -r 0a3556e5d6ed -r 06774cd43054 src/Tools/8bit/Makefile
--- a/src/Tools/8bit/Makefile	Wed Nov 05 16:37:22 1997 +0100
+++ b/src/Tools/8bit/Makefile	Wed Nov 05 18:31:14 1997 +0100
@@ -61,7 +61,7 @@
 # configuration for configuration files in ./config
 ###############################################
 
-CONV_SOURCE_DIR="$(ISABELLE8BIT)/c-sources/isa2latex"
+CONV_SOURCE_DIR=$(ISABELLE8BIT)/c-sources/isa2latex
 
 ###############################################
 # configuration for GNU emacs
@@ -108,20 +108,19 @@
 all:  $(CONFIGFILES)\
 	bin/gen-isa2latex bin/gen-isaterm bin/gen-isavim bin/gen-isaaxe\
 	bin/gen-isa_gnu_emacs bin/gen-isa_xemacs bin/gen-isadoc\
-	configuration a2isa bin/isa2latex bin/a2isa bin/ax2isa\
+	configuration manual a2isa bin/isa2latex bin/a2isa bin/ax2isa\
 	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\
 	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\
+	isa-patches/HOLCF/extract-HOLCF.cfg
 
 # ----------------------------------------------------
 
 clean:
-	cd bin; rm -f *2isa codetable gen-* isa* patcher
+#	cd bin; rm -f *2isa codetable gen-* isa* patcher
 	cd c-sources/a2isa; $(GMAKE) clean
 	cd c-sources/isa2latex; $(GMAKE) clean
 	cd doc; $(GMAKE) clean
@@ -145,8 +144,9 @@
 		key-table.inp
 	@cd config;\
 	$(PERL) -pi \
-	-e "s#^CONV_SOURCE_DIR\s*\".*#CONV_SOURCE_DIR \"$(CONV_SOURCE_DIR)\"#g;" \
-	 conv-tables.inp
+		-e "s#^CONV_SOURCE_DIR\s*\".*#CONV_SOURCE_DIR \"$(CONV_SOURCE_DIR)\"#g;" \
+		conv-tables.inp
+	@echo $(CONV_SOURCE_DIR)
 
 #######      Generators        
 
@@ -227,6 +227,8 @@
 		gen-isadoc.pl
 	@rm -f bin/gen-isadoc;\
 	ln -s ../perl/generators/gen-isadoc.pl bin/gen-isadoc
+	@rm -f doc/isa2latex.sty;\
+	ln -s ../latex/isa2latex.sty doc/isa2latex.sty
 
 
 #######      Converter        
@@ -237,6 +239,9 @@
 configuration:
 	@cd config; $(GMAKE)
 
+manual:
+	@cd doc; $(GMAKE) manual.dvi
+
 a2isa:
 	@cd c-sources/a2isa; $(GMAKE); $(GMAKE) clean
 
@@ -401,5 +406,3 @@
 
 # ----------------------------------------------------
 
-manual:
-	@cd doc; $(GMAKE) manual.dvi
diff -r 0a3556e5d6ed -r 06774cd43054 src/Tools/8bit/README
--- a/src/Tools/8bit/README	Wed Nov 05 16:37:22 1997 +0100
+++ b/src/Tools/8bit/README	Wed Nov 05 18:31:14 1997 +0100
@@ -26,7 +26,8 @@
 
 to install,
 	- change directory to $ISABELLE8BIT
-	- run gmake (the gnu version of make) on the Makefile there
+	- run mk
+(after further changes, if may be sufficient to call gmake)
 
 for adaptions of the configuration (in directory config/):
 	- configure the files: conv-tables.inp key-table.inp
diff -r 0a3556e5d6ed -r 06774cd43054 src/Tools/8bit/c-sources/a2isa/Makefile
--- a/src/Tools/8bit/c-sources/a2isa/Makefile	Wed Nov 05 16:37:22 1997 +0100
+++ b/src/Tools/8bit/c-sources/a2isa/Makefile	Wed Nov 05 18:31:14 1997 +0100
@@ -33,5 +33,4 @@
 # ----------------------------------------------------
 
 clean:
-	@echo "     cleaning up object and tmp files..."
 	@rm -f *.o lex.yy.c
diff -r 0a3556e5d6ed -r 06774cd43054 src/Tools/8bit/c-sources/a2isa/a2isa
Binary file src/Tools/8bit/c-sources/a2isa/a2isa has changed
diff -r 0a3556e5d6ed -r 06774cd43054 src/Tools/8bit/c-sources/a2isa/ax2isa
Binary file src/Tools/8bit/c-sources/a2isa/ax2isa has changed
diff -r 0a3556e5d6ed -r 06774cd43054 src/Tools/8bit/c-sources/isa2latex/Makefile
--- a/src/Tools/8bit/c-sources/isa2latex/Makefile	Wed Nov 05 16:37:22 1997 +0100
+++ b/src/Tools/8bit/c-sources/isa2latex/Makefile	Wed Nov 05 18:31:14 1997 +0100
@@ -42,5 +42,4 @@
 # ----------------------------------------------------
 
 clean:
-	@echo "     cleaning up object and tmp files..."
 	@rm -f *.o tmp.c tmp.txt
diff -r 0a3556e5d6ed -r 06774cd43054 src/Tools/8bit/c-sources/isa2latex/isa2latex
Binary file src/Tools/8bit/c-sources/isa2latex/isa2latex has changed
diff -r 0a3556e5d6ed -r 06774cd43054 src/Tools/8bit/config/conv-tables.inp
--- a/src/Tools/8bit/config/conv-tables.inp	Wed Nov 05 16:37:22 1997 +0100
+++ b/src/Tools/8bit/config/conv-tables.inp	Wed Nov 05 18:31:14 1997 +0100
@@ -27,7 +27,7 @@
 #   Must be delimited by "
 #
 
-CONV_SOURCE_DIR "../c-sources/isa2latex"
+CONV_SOURCE_DIR "/home/proj/bali/isabelle/src/Tools/8bit/c-sources/isa2latex"
 
 # End of  general setup
 ############################################################ 
diff -r 0a3556e5d6ed -r 06774cd43054 src/Tools/8bit/doc/Makefile
--- a/src/Tools/8bit/doc/Makefile	Wed Nov 05 16:37:22 1997 +0100
+++ b/src/Tools/8bit/doc/Makefile	Wed Nov 05 18:31:14 1997 +0100
@@ -11,7 +11,7 @@
 MAKEFLAGS='s'
 
 LATEX=latex2e
-ISA2LATEX=isa2latex
+ISA2LATEX=../bin/isa2latex
 
 CHECKOUT=co
 
@@ -30,7 +30,7 @@
 
 fontdocfiles: $(FONTDOCFILES)
 
-manual.dvi: manual.itex
-
+manual.dvi: manual.tex
+	$(LATEX) $< >/dev/null; $(LATEX) $<
 clean:
 	rm -f *.tex *.aux *.log
diff -r 0a3556e5d6ed -r 06774cd43054 src/Tools/8bit/mk
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/8bit/mk	Wed Nov 05 18:31:14 1997 +0100
@@ -0,0 +1,11 @@
+#!/bin/bash
+#
+# $Id$
+#
+# mk - build 8bit.
+#
+# Assumes to be called with current directory 'Tools/8bit'
+
+export ISABELLE8BIT=$(pwd)
+touch Makefile
+gmake