--- 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
--- 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
--- 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
Binary file src/Tools/8bit/c-sources/a2isa/a2isa has changed
Binary file src/Tools/8bit/c-sources/a2isa/ax2isa has changed
--- 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
Binary file src/Tools/8bit/c-sources/isa2latex/isa2latex has changed
--- 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
############################################################
--- 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
--- /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