53 #HYPER_R=113 |
53 #HYPER_R=113 |
54 HYPER_R=20 |
54 HYPER_R=20 |
55 |
55 |
56 CONFIGFIlES = config/Makefile config/key-table.inp config/conv-tables.inp |
56 CONFIGFIlES = config/Makefile config/key-table.inp config/conv-tables.inp |
57 |
57 |
|
58 #path stem to isabelle source, used by patcher |
|
59 STEM = /usr/stud/oheimb/isabelle/ |
|
60 |
58 ############################################### |
61 ############################################### |
59 # configuration for configuration files in ./config |
62 # configuration for configuration files in ./config |
60 ############################################### |
63 ############################################### |
61 |
64 |
62 CONV_SOURCE_DIR="$(ISABELLE8BIT)/c-sources/isa2latex" |
65 CONV_SOURCE_DIR="$(ISABELLE8BIT)/c-sources/isa2latex" |
108 bin/gen-isa_gnu_emacs bin/gen-isa_xemacs bin/gen-isadoc\ |
111 bin/gen-isa_gnu_emacs bin/gen-isa_xemacs bin/gen-isadoc\ |
109 configuration a2isa bin/isa2latex bin/a2isa\ |
112 configuration a2isa bin/isa2latex bin/a2isa\ |
110 bin/isa_gnu_emacs bin/isa_xemacs bin/isavim bin/isaaxe\ |
113 bin/isa_gnu_emacs bin/isa_xemacs bin/isavim bin/isaaxe\ |
111 bin/isaterm bin/isa_xmosaic bin/isapal bin/codetable bin/patcher\ |
114 bin/isaterm bin/isa_xmosaic bin/isapal bin/codetable bin/patcher\ |
112 fonts/install keyboard/install\ |
115 fonts/install keyboard/install\ |
113 manual |
116 isa-patches/HOL/add-HOL.cfg isa-patches/HOL/clean-HOL.cfg\ |
|
117 isa-patches/HOL/extract-HOL.cfg\ |
|
118 isa-patches/HOLCF/add-HOLCF.cfg isa-patches/HOLCF/clean-HOLCF.cfg\ |
|
119 isa-patches/HOLCF/extract-HOLCF.cfg\ |
|
120 manual\ |
114 |
121 |
115 # ---------------------------------------------------- |
122 # ---------------------------------------------------- |
116 |
123 |
117 clean: |
124 clean: |
118 cd bin; rm -f * |
125 cd bin; rm -f a2isa codetable gen-* isa* patcher |
119 cd c-sources/a2isa; $(GMAKE) clean |
126 cd c-sources/a2isa; $(GMAKE) clean |
120 cd c-sources/isa2latex; $(GMAKE) clean |
127 cd c-sources/isa2latex; $(GMAKE) clean |
121 cd doc; rm -f *.log *.aux |
128 cd doc; $(GMAKE) clean |
122 |
129 |
123 ############################################### |
130 ############################################### |
124 # internal targets |
131 # internal targets |
125 ############################################### |
132 ############################################### |
126 |
133 |
365 -e "s&^#!.*&#!$(BASH)&g;" \ |
372 -e "s&^#!.*&#!$(BASH)&g;" \ |
366 -e "s#^SUPER_L\s*=.*#SUPER_L=$(SUPER_L)#g;"\ |
373 -e "s#^SUPER_L\s*=.*#SUPER_L=$(SUPER_L)#g;"\ |
367 -e "s#^HYPER_R\s*=.*#HYPER_R=$(HYPER_R)#g;"\ |
374 -e "s#^HYPER_R\s*=.*#HYPER_R=$(HYPER_R)#g;"\ |
368 install |
375 install |
369 |
376 |
|
377 isa-patches/HOL/add-HOL.cfg: Makefile |
|
378 @cd isa-patches/HOL;\ |
|
379 $(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" add-HOL.cfg |
|
380 isa-patches/HOL/clean-HOL.cfg: Makefile |
|
381 @cd isa-patches/HOL;\ |
|
382 $(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" clean-HOL.cfg |
|
383 isa-patches/HOL/extract-HOL.cfg: Makefile |
|
384 @cd isa-patches/HOL;\ |
|
385 $(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" extract-HOL.cfg |
|
386 isa-patches/HOLCF/add-HOLCF.cfg: Makefile |
|
387 @cd isa-patches/HOLCF;\ |
|
388 $(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" add-HOLCF.cfg |
|
389 isa-patches/HOLCF/clean-HOLCF.cfg: Makefile |
|
390 @cd isa-patches/HOLCF;\ |
|
391 $(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" clean-HOLCF.cfg |
|
392 isa-patches/HOLCF/extract-HOLCF.cfg: Makefile |
|
393 @cd isa-patches/HOLCF;\ |
|
394 $(PERL) -pi -e "s#^STEM\s*\".*#STEM \"$(STEM)\"#g;" extract-HOLCF.cfg |
|
395 |
370 # ---------------------------------------------------- |
396 # ---------------------------------------------------- |
371 |
397 |
372 manual: |
398 manual: |
373 @cd doc; $(GMAKE) manual.dvi clean |
399 @cd doc; $(GMAKE) manual.dvi |