src/CCL/Makefile
changeset 1491 38a14548baad
parent 1361 90d615b599d9
child 2023 aa25f20c5d8b
     1.1 --- a/src/CCL/Makefile	Fri Feb 09 18:56:39 1996 +0100
     1.2 +++ b/src/CCL/Makefile	Sat Feb 10 19:04:21 1996 +0100
     1.3 @@ -36,14 +36,19 @@
     1.4  $(BIN)/CCL:   $(BIN)/FOL  $(SET_FILES)  $(CCL_FILES) 
     1.5  	case "$(COMP)" in \
     1.6  	poly*)	cp $(BIN)/FOL $(BIN)/CCL;\
     1.7 -                if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \
     1.8 +                if [ "$${MAKE_HTML}" = "true" ]; \
     1.9                  then echo 'open PolyML; make_html := true; exit_use_dir".";' \
    1.10                         | $(COMP) $(BIN)/CCL;\
    1.11 -		else echo 'open PolyML; exit_use_dir".";' \
    1.12 +		elif [ "$${MAKE_HTML-undefined}" != "undefined" ]; \
    1.13 +                then echo 'open PolyML; make_html := true; exit_use_dir".";                               make_html := false;' | $(COMP) $(BIN)/CCL;\
    1.14 +                else echo 'open PolyML; exit_use_dir".";' \
    1.15                         | $(COMP) $(BIN)/CCL;\
    1.16                  fi;;\
    1.17 -	sml*)	if [ "$${MAKE_HTML-undefined}" != "undefined" ];\
    1.18 +	sml*)   if [ "$${MAKE_HTML}" = "true" ]; \
    1.19                  then echo 'make_html := true; exit_use_dir".";                                            xML"$(BIN)/CCL" banner;' | $(BIN)/FOL;\
    1.20 +                elif [ "$${MAKE_HTML-undefined}" != "undefined" ];\
    1.21 +                then echo 'make_html := true; exit_use_dir".";                                            make_html := false; xML"$(BIN)/CCL" banner;' \
    1.22 +                       | $(BIN)/FOL;\
    1.23                  else echo 'exit_use_dir"."; xML"$(BIN)/CCL" banner;' \
    1.24                         | $(BIN)/FOL;\
    1.25                  fi;;\
    1.26 @@ -56,9 +61,16 @@
    1.27  
    1.28  test:   ex/ROOT.ML  $(BIN)/CCL  $(EX_FILES)
    1.29  	case "$(COMP)" in \
    1.30 -	poly*)	echo 'exit_use_dir"ex"; quit();' \
    1.31 -                  | $(COMP) $(BIN)/CCL ;;\
    1.32 -	sml*)	echo 'exit_use_dir"ex";' | $(BIN)/CCL;;\
    1.33 +	poly*)	if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \
    1.34 +                then echo 'make_html := true; exit_use_dir"ex"; quit();' \
    1.35 +                       | $(COMP) $(BIN)/CCL;\
    1.36 +                else echo 'exit_use_dir"ex"; quit();' | $(COMP) $(BIN)/CCL;\
    1.37 +                fi;;\
    1.38 +	sml*)	if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \
    1.39 +                then echo 'make_html := true; exit_use_dir"ex";' \
    1.40 +                       | $(BIN)/CCL;\
    1.41 +                else echo 'exit_use_dir"ex";' | $(BIN)/CCL;\
    1.42 +                fi;;\
    1.43  	*)	echo Bad value for ISABELLECOMP: \
    1.44                  	$(COMP) is not poly or sml;;\
    1.45  	esac