added calls of init_html and make_chart
authorclasohm
Tue Oct 24 14:42:15 1995 +0100 (1995-10-24)
changeset 12934ade5d1d369c
parent 1292 f55472745044
child 1294 1358dc040edb
added calls of init_html and make_chart
src/CCL/Makefile
src/CCL/ROOT.ML
src/CCL/ex/ROOT.ML
     1.1 --- a/src/CCL/Makefile	Tue Oct 24 13:54:00 1995 +0100
     1.2 +++ b/src/CCL/Makefile	Tue Oct 24 14:42:15 1995 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -#  $Id$
     1.5 +# $Id$
     1.6  #########################################################################
     1.7  #									#
     1.8  # 			Makefile for Isabelle (CCL)			#
     1.9 @@ -6,9 +6,11 @@
    1.10  #########################################################################
    1.11  
    1.12  #To make the system, cd to this directory and type
    1.13 -#	make -f Makefile 
    1.14 +#	make
    1.15  #To make the system and test it on standard examples, type 
    1.16 -#	make -f Makefile test
    1.17 +#	make test
    1.18 +#To generate HTML files for every theory, set the environment variable
    1.19 +#MAKE_HTML or add the parameter "MAKE_HTML=".
    1.20  
    1.21  #Environment variable ISABELLECOMP specifies the compiler.
    1.22  #Environment variable ISABELLEBIN specifies the destination directory.
    1.23 @@ -34,8 +36,16 @@
    1.24  $(BIN)/CCL:   $(BIN)/FOL  $(SET_FILES)  $(CCL_FILES) 
    1.25  	case "$(COMP)" in \
    1.26  	poly*)	cp $(BIN)/FOL $(BIN)/CCL;\
    1.27 -		echo 'open PolyML; exit_use"ROOT";' | $(COMP) $(BIN)/CCL ;;\
    1.28 -	sml*)	echo 'exit_use"ROOT.ML"; xML"$(BIN)/CCL" banner;' | $(BIN)/FOL;;\
    1.29 +                if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \
    1.30 +                then echo 'open PolyML; init_html (); exit_use"ROOT";' \
    1.31 +                       | $(COMP) $(BIN)/CCL;\
    1.32 +		else echo 'open PolyML; exit_use"ROOT";' | $(COMP) $(BIN)/CCL;\
    1.33 +                fi;;\
    1.34 +	sml*)	if [ "$${MAKE_HTML-undefined}" != "undefined" ];\
    1.35 +                then echo 'init_html (); exit_use"ROOT.ML";                                               xML"$(BIN)/CCL" banner;' | $(BIN)/FOL;\
    1.36 +                else echo 'exit_use"ROOT.ML"; xML"$(BIN)/CCL" banner;' \
    1.37 +                       | $(BIN)/FOL;\
    1.38 +                fi;;\
    1.39  	*)	echo Bad value for ISABELLECOMP: \
    1.40                  	$(COMP) is not poly or sml;;\
    1.41  	esac
     2.1 --- a/src/CCL/ROOT.ML	Tue Oct 24 13:54:00 1995 +0100
     2.2 +++ b/src/CCL/ROOT.ML	Tue Oct 24 14:42:15 1995 +0100
     2.3 @@ -40,4 +40,6 @@
     2.4  
     2.5  print_depth 8;
     2.6  
     2.7 +make_chart ();   (*make HTML chart*)
     2.8 +
     2.9  val CCL_build_completed = ();   (*indicate successful build*)
     3.1 --- a/src/CCL/ex/ROOT.ML	Tue Oct 24 13:54:00 1995 +0100
     3.2 +++ b/src/CCL/ex/ROOT.ML	Tue Oct 24 14:42:15 1995 +0100
     3.3 @@ -16,4 +16,7 @@
     3.4  time_use_thy "ex/List";
     3.5  time_use_thy "ex/Stream";
     3.6  time_use_thy "ex/Flag";
     3.7 +
     3.8 +make_chart ();   (*make HTML chart*)
     3.9 +
    3.10  maketest"END: Root file for CCL examples";