#! /bin/sh
#---------------------------------------------------------------------------#
# Copyright (C) 2000 The University of Melbourne.
# This file may only be copied under the terms of the GNU General
# Public License - see the file COPYING in the Mercury distribution.
#---------------------------------------------------------------------------#
#
# canonical_grade --grade <grade-to-be-canonicalized>
#
# This script is meant to be used mainly during the autoconfiguration process.
# It is meant to be invoked with a --grade <grade> option, whose value should
# be a possibly noncanonical grade name given by a human as part of an argument
# to the configure script. The job of this script is to print the canonical
# name of the grade. The script fails after printing an error message if the
# purported "grade" given is not a grade at all, not even a non-canonical one.

# include the file `init_grade_options.sh-subr'
#---------------------------------------------------------------------------#
# Copyright (C) 1997-2007, 2010 The University of Melbourne.
# This file may only be copied under the terms of the GNU General
# Public License - see the file COPYING in the Mercury distribution.
#---------------------------------------------------------------------------#
#
# init_grade_options.sh-subr:
#	An `sh' subroutine for initializing grade-related options.
#	Used by the `ml', `mgnuc' and `c2init' scripts.
#
#	The code here should be inserted before a script's option-parsing
#	loop.  The invoking script must define a DEFAULT_GRADE option.
#
# IMPORTANT: any changes to the handling of grades here may also require
# changes to all the files indicated by runtime/mercury_grade.h.
#
# This file must initialize all the shell variables used by
# parse_grade_options.sh-subr, and must list all the options processed in
# parse_grade_options.sh-subr.
#
#---------------------------------------------------------------------------#

grade_usage="\
Grade options:
	-s <grade>, --grade <grade>
	--target {il, c, csharp, java, erlang}
	--il
	--asm-labels
	--gcc-non-local-gotos
	--gcc-global-registers
	-H, --high-level-code
	--parallel
	--gc {boehm, boehm_debug, hgc, mps, accurate, none}
	-p, --profiling
	--profile-calls
	--profile-time
	--profile-memory
	--profile-deep
	--record-term-sizes-as-words
	--record-term-sizes-as-cells
	--use-trail
	--use-trail-segments
	--reserve-tag
	--use-minimal-model-stack-copy
	--use-minimal-model-own-stacks
	--minimal-model-debug
	--single-prec-float
	--pic-reg
	--no-stack-trace
	--debug
	--decl-debug
	--ss-debug
	--low-level-debug
	--extend-stacks-when-needed
	--stack-segments
	--use-regions
		See the documentation in the \"Invocation\" section
		of the Mercury User's Guide."

# --gcc-nested-functions is not yet documented because it is not yet stable
# --high-level-data is not yet documented because it is not yet implemented
# --high-level is not yet documented because --high-level-data is
#		not yet implemented
# --use-regions-debug and --use-regions-profiling are not yet documented
#		since they are not yet stable

target=c
highlevel_code=false
highlevel_data=false
gcc_nested_functions=false
asm_labels=true
non_local_gotos=true
global_regs=true
thread_safe=false
threadscope=false
gc_method=boehm
profile_time=false
profile_calls=false
profile_memory=false
profile_deep=false
record_term_sizes_as_words=false
record_term_sizes_as_cells=false
use_trail=false
trail_segments=false
use_minimal_model_stack_copy=false
use_minimal_model_own_stacks=false
minimal_model_debug=false
pregenerated_dist=false
single_prec_float=false
pic_reg=false
debug=false
decl_debug=false
ss_debug=false
ll_debug=false
extend_stacks=false
stack_segments=false
use_regions=false
use_regions_debug=false
use_regions_profiling=false

case $# in
	0) set - --grade "$DEFAULT_GRADE" ;;
	*) set - --grade "$DEFAULT_GRADE" "$@" ;;
esac

#---------------------------------------------------------------------------#

usage="Usage: canonical_grade --grade <actual>"

while : ; do
    case "$1" in
	# include the file `parse_grade_options.sh-subr'
#---------------------------------------------------------------------------#
# vim: ts=4 sw=4 expandtab
#---------------------------------------------------------------------------#
# Copyright (C) 1997-2007, 2010 The University of Melbourne.
# This file may only be copied under the terms of the GNU General
# Public License - see the file COPYING in the Mercury distribution.
#---------------------------------------------------------------------------#
#
# parse_grade_options.sh-subr:
#   An `sh' subroutine for parsing grade-related options.
#   Used by the `ml', `mgnuc' and `c2init' scripts.
#
#   The code here should be inserted in the case statement in a script's
#   option-parsing loop.
#
# IMPORTANT: any changes to the handling of grades here may also require
# changes to all the files indicated by runtime/mercury_grade.h.
#
# This file should handle the setting of all the shell variables defined by
# init_grade_options.sh-subr.
#
#---------------------------------------------------------------------------#

    --target)
        shift
        case "$1" in
            c|C)
                target=c ;;
            il|IL)
                target=il ;;
            csharp|'C#')
                target=csharp ;;
            java|Java)
                target=java ;;
            erlang|Erlang)
                target=erlang ;;
            *)
                echo "$0: invalid target \`$1'" 1>&2
                exit 1
                ;;
        esac
        ;;

    --il|--IL|--il-only|--IL-only)
        target=il ;;

    --csharp|'--C#'|--csharp-only|'--C#-only')
        target=csharp ;;

    --java|--Java|--java-only|--Java-only)
        target=java ;;

    --erlang|--Erlang|--erlang-only|--Erlang-only)
        target=erlang ;;

    --high-level-code|-H)
        highlevel_code=true ;;
    --no-high-level-code|-H-)
        highlevel_code=false ;;

    --high-level-data)
        highlevel_data=true ;;
    --no-high-level-data)
        highlevel_data=false ;;

    --gcc-nested-functions)
        gcc_nested_functions=true ;;
    --no-gcc-nested-functions)
        gcc_nested_functions=false ;;

    --asm-labels)
        asm_labels=true ;;
    --no-asm-labels)
        asm_labels=false ;;

    --gcc-non-local-gotos)
        non_local_gotos=true ;;
    --no-gcc-non-local-gotos)
        non_local_gotos=false ;;

    --gcc-global-registers)
        global_regs=true ;;
    --no-gcc-global-registers)
        global_regs=false ;;

    --gc)
        shift
        case "$1" in
            accurate|conservative|boehm|boehm_debug|hgc|mps|none|automatic)
                gc_method=$1 ;;
            *)
                echo "$0: invalid gc method \`$1'" 1>&2
                exit 1
                ;;
        esac
        ;;

    --parallel)
        thread_safe=true ;;

    -p|--profiling|--time-profiling)
        profile_time=true
        profile_calls=true
        profile_memory=false
        profile_deep=false
        ;;
    --memory-profiling)
        profile_time=false
        profile_calls=true
        profile_memory=true
        profile_deep=false
        ;;
    --deep-profiling)
        profile_time=false
        profile_calls=false
        profile_memory=false
        profile_deep=true
        ;;
    -p-|--no-profiling)
        profile_time=false
        profile_calls=false
        profile_memory=false
        profile_deep=false
        ;;
    --profile-time)
        profile_time=true ;;
    --no-profile-time)
        profile_time=false ;;
    --profile-calls)
        profile_calls=true ;;
    --no-profile-calls)
        profile_calls=false ;;
    --profile-memory)
        profile_memory=true ;;
    --no-profile-memory)
        profile_memory=false ;;
    --profile-deep)
        profile_deep=true ;;
    --no-profile-deep)
        profile_deep=false ;;

    --record-term-sizes-as-words)
        record_term_sizes_as_words=true ;;
    --no-record-term-sizes-as-words)
        record_term_sizes_as_words=false ;;
    --record-term-sizes-as-cells)
        record_term_sizes_as_cells=true ;;
    --no-record-term-sizes-as-cells)
        record_term_sizes_as_cells=false ;;

    --use-trail)
        use_trail=true ;;
    --no-use-trail)
        use_trail=false ;;

    --trail-segments)
        trail_segments=true ;;
    --no-trail-segments)
        trail_segments=false ;;
    
    --use-minimal-model-stack-copy)
        use_minimal_model_stack_copy=true ;;
    --no-use-minimal-model-stack-copy)
        use_minimal_model_stack_copy=false ;;

    --use-minimal-model-own-stacks)
        use_minimal_model_own_stacks=true ;;
    --no-use-minimal-model-own-stacks)
        use_minimal_model_own_stacks=false ;;

    --minimal-model-debug)
        minimal_model_debug=true ;;
    --no-minimal-model-debug)
        minimal_model_debug=false ;;

    --pregenerated-dist)
        pregenerated_dist=true ;;
    --no-pregenerated-dist)
        pregenerated_dist=false ;;

    --single-prec-float)
        single_prec_float=true ;;
    --no-single-prec-float)
        single_prec_float=false ;;

    --pic-reg)
        pic_reg=true ;;
    --no-pic-reg)
        pic_reg=false ;;

    --debug)
        debug=true ;;
    --no-debug)
        debug=false ;;

    --decl-debug)
        decl_debug=true ;;
    --no-decl-debug)
        decl_debug=false ;;

    --ss-debug)
        ss_debug=true ;;
    --no-ss-debug)
        ss_debug=false ;;

    --low-level-debug)
        ll_debug= true ;;
    --no-low-level-debug)
        ll_debug= false ;;

    --extend-stacks-when-needed)
        extend_stacks=true ;;
    --no-extend-stacks-when-needed)
        extend_stacks=false ;;

    --stack-segments)
        stack_segments=true ;;
    --no-stack-segments)
        stack_segments=false ;;

    --use-regions)
        use_regions=true;;
    --no-use-regions)
        use_regions=false ;; 

    --use-regions-debug)
        use_regions_debug=true;;
    --no-use-regions-debug)
        use_regions_debug=false ;; 

    --use-regions-profiling)
        use_regions_profiling=true;;
    --no-use-regions-profiling)
        use_regions_profiling=false ;; 

    -s|--grade)
        shift
        grade="$1";

        # Convert a grade to a set of options.
        #
        # IMPORTANT: any changes to the handling of grades here
        # may also require changes to all the files indicated by
        # runtime/mercury_grade.h.

        target=c
        highlevel_code=false
        gcc_nested_functions=false
        highlevel_data=false
        asm_labels=false
        non_local_gotos=false
        global_regs=false
        thread_safe=false
        gc_method=none
        profile_time=false
        profile_calls=false
        profile_memory=false
        profile_deep=false
        record_term_sizes_as_words=false
        record_term_sizes_as_cells=false
        use_trail=false
        trail_segments=false
        use_minimal_model_stack_copy=false
        use_minimal_model_own_stacks=false
        minimal_model_debug=false
        pregenerated_dist=false
        single_prec_float=false
        pic_reg=false
        debug=false
        decl_debug=false
        ss_debug=false
        ll_debug=false
        extend_stacks=false
        stack_segments=false
        use_regions=false
        use_regions_debug=false
        use_regions_profiling=false

        grade_pieces=`echo $grade | tr '.' ' '`
        for grade_piece in $grade_pieces
        do
            case "$grade_piece" in
                il)
                    target=il
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=false
                    highlevel_code=true
                    gcc_nested_functions=false
                    highlevel_data=true
                    ;;
                ilc)
                    target=il
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=false
                    highlevel_code=true
                    gcc_nested_functions=false
                    highlevel_data=false
                    ;;
                csharp)
                    target=csharp
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=false
                    highlevel_code=true
                    gcc_nested_functions=false
                    highlevel_data=true
                    ;;
                java)
                    target=java
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=false
                    highlevel_code=true
                    gcc_nested_functions=false
                    highlevel_data=true
                    ;;
                erlang)
                    target=erlang
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=false
                    highlevel_code=true
                    gcc_nested_functions=false
                    highlevel_data=true
                    ;;
                hl)
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=false
                    highlevel_code=true
                    gcc_nested_functions=false
                    highlevel_data=true
                    ;;
                hlc)
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=false
                    highlevel_code=true
                    gcc_nested_functions=false
                    highlevel_data=false
                    ;;
                hl_nest)
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=false
                    highlevel_code=true
                    gcc_nested_functions=true
                    highlevel_data=true
                    ;;
                hlc_nest)
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=false
                    highlevel_code=true
                    gcc_nested_functions=true
                    highlevel_data=false
                    ;;
                asm_fast)
                    target=c
                    asm_labels=true
                    non_local_gotos=true
                    global_regs=true
                    highlevel_code=false
                    gcc_nested_functions=false
                    highlevel_data=false
                    ;;
                asm_jump)
                    target=c
                    asm_labels=true
                    non_local_gotos=true
                    global_regs=false
                    highlevel_code=false
                    gcc_nested_functions=false
                    highlevel_data=false
                    ;;
                fast)
                    target=c
                    asm_labels=false
                    non_local_gotos=true
                    global_regs=true
                    highlevel_code=false
                    gcc_nested_functions=false
                    highlevel_data=false
                    ;;
                jump)
                    target=c
                    asm_labels=false
                    non_local_gotos=true
                    global_regs=false
                    highlevel_code=false
                    gcc_nested_functions=false
                    highlevel_data=false
                    ;;
                reg)
                    target=c
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=true
                    highlevel_code=false
                    gcc_nested_functions=false
                    highlevel_data=false
                    ;;
                none)
                    target=c
                    asm_labels=false
                    non_local_gotos=false
                    global_regs=false
                    highlevel_code=false
                    gcc_nested_functions=false
                    highlevel_data=false
                    ;;

                par)
                    thread_safe=true
                    ;;

                threadscope)
                    threadscope=true
                    ;;

                agc)
                    gc_method=accurate
                    ;;
                mps)
                    gc_method=mps
                    ;;
                gc)
                    gc_method=boehm
                    ;;
                hgc)
                    gc_method=hgc
                    ;;
                gcd)
                    gc_method=boehm_debug
                    ;;
                nogc)
                    gc_method=none
                    ;;

                memprof)
                    profile_time=false
                    profile_calls=true
                    profile_memory=true
                    profile_deep=false
                    ;;
                prof)
                    profile_time=true
                    profile_calls=true
                    profile_memory=false
                    profile_deep=false
                    ;;
                proftime)   
                    profile_time=true
                    profile_calls=false
                    profile_memory=false
                    profile_deep=false
                    ;;
                profcalls)  
                    profile_time=false
                    profile_calls=true
                    profile_memory=false
                    profile_deep=false
                    ;;
                profall)
                    profile_time=true
                    profile_calls=true
                    profile_memory=true
                    profile_deep=false
                    ;;
                profdeep)
                    profile_time=false
                    profile_calls=false
                    profile_memory=false
                    profile_deep=true
                    ;;

                tsw)
                    record_term_sizes_as_words=true
                    record_term_sizes_as_cells=false
                    ;;

                tsc)
                    record_term_sizes_as_words=false
                    record_term_sizes_as_cells=true
                    ;;

                tr)
                    use_trail=true
                    trail_segments=false
                    ;;

                trseg)
                    use_trail=true
                    trail_segments=true
                    ;;
                
                mm)
                    use_minimal_model_stack_copy=true
                    minimal_model_debug=false
                    ;;

                dmm)
                    use_minimal_model_stack_copy=true
                    minimal_model_debug=true
                    ;;

                mmsc)
                    use_minimal_model_stack_copy=true
                    minimal_model_debug=false
                    ;;

                dmmsc)
                    use_minimal_model_stack_copy=true
                    minimal_model_debug=true
                    ;;

                mmos)
                    use_minimal_model_own_stacks=true
                    minimal_model_debug=false
                    ;;

                dmmos)
                    use_minimal_model_own_stacks=true
                    minimal_model_debug=true
                    ;;

                pregen)
                    pregenerated_dist=true
                    ;;

                spf)
                    single_prec_float=true
                    ;;

                picreg)
                    pic_reg=true
                    ;;

                debug)
                    debug=true
                    ;;

                decldebug)
                    decl_debug=true
                    ;;

                ssdebug)
                    ss_debug=true
                    ;;

                ll_debug)
                    ll_debug=true
                    ;;

                exts)
                    extend_stacks=true
                    ;;

                stseg)
                    stack_segments=true
                    ;;

                rbmm)
                    use_regions=true
                    use_regions_debug=false
                    use_regions_profiling=false
                    ;;

                rbmmd)
                    use_regions=true
                    use_regions_debug=true
                    use_regions_profiling=false
                    ;;

                rbmmp)
                    use_regions=true
                    use_regions_debug=false
                    use_regions_profiling=true
                    ;;

                rbmmdp)
                    use_regions=true
                    use_regions_debug=true
                    use_regions_profiling=true
                    ;;

                *)
                    echo "$0: unknown grade component \`$grade_piece'" 1>&2
                    exit 1
                    ;;
            esac
        done
        ;;

    -s*)
        grade="` expr $1 : '-s\(.*\)' `"
        # just insert it as `--grade $grade' and then reparse it
        shift
        case $# in
            0) set - x --grade "$grade" ;;
            *) set - x --grade "$grade" "$@" ;;
        esac
        ;;


	--)
		shift
		break ;;
	*)
		break ;;
    esac
    shift
done

if test $# -ne 0
then
	echo "$usage"
	exit 1
fi

# include the file `final_grade_options.sh-subr'
#---------------------------------------------------------------------------#
# Copyright (C) 1998-2002, 2004-2007, 2009-2010 The University of Melbourne.
# This file may only be copied under the terms of the GNU General
# Public License - see the file COPYING in the Mercury distribution.
#---------------------------------------------------------------------------#
#
# final_grade_options.sh-subr:
#	An `sh' subroutine for handling implications between grade-related
#	options. Used by the `ml', `mgnuc' and `c2init' scripts.
#
#	The code here should be inserted after a script's option-parsing
#	loop.
#
# IMPORTANT: any changes to the handling of grades here may also require
# changes to compiler/handle_options.m.
#
# This file should only use the shell variables initialized by
# init_grade_options.sh-subr.
#
#---------------------------------------------------------------------------#

use_minimal_model=false
case $use_minimal_model_stack_copy in
	true)
		use_minimal_model=true
		;;
esac
case $use_minimal_model_own_stacks in
	true)
		use_minimal_model=true
		;;
esac

#
# .tr grade is not compatible with .*mm*
#	(see comment in runtime/mercury_tabling.c for rationale)
#
case $use_trail,$use_minimal_model in true,true)
	echo "trailing and minimal model tabling are not compatible" 1>&2
	exit 1 ;;
esac

#
# .exts grade is not compatible with .stseg
#	(they are alternative ways of doing the same thing)
#
case $extend_stacks,$stack_segments in true,true)
	echo "--extend-stacks-when-needed and --stack-segments are not compatible" 1>&2
	exit 1 ;;
esac

#
# --decl-debug implies --debug
#
case $decl_debug in true)
	debug=true ;;
esac

#
# --target IL, C#, Java, Erlang implies --high-level-code
#
case $target in il|csharp|java|erlang)
	highlevel_code=true ;;
esac

#
# --target IL, C#, Java, Erlang implies --high-level-data
#
case $target in il|csharp|java|erlang)
	highlevel_data=true ;;
esac

#
# --target IL, C#, Java, Erlang implies --gc automatic
#
case $target in il|csharp|java|erlang)
	gc_method=automatic ;;
esac

#
# --high-level-code disables the use of low-level gcc extensions
#
case $highlevel_code in true)
	non_local_gotos=false
	asm_labels=false
	global_regs=false
	;;
esac

#
# --use-regions-debug and --use-regions-profiling aren't meaningful
# without --use-regions
#
case $use_regions in false)
	use_regions_debug=false
	use_regions_profiling=false
	;;
esac

#
# threadscope doesn't make sense in non-parallel grades.
#
case $thread_safe in false)
    threadscope=false
    ;;
esac

#---------------------------------------------------------------------------#

# include the file `canonical_grade.sh-subr'
#---------------------------------------------------------------------------#
# vim: ft=sh
#---------------------------------------------------------------------------#
# Copyright (C) 2000-2007, 2010 The University of Melbourne.
# This file may only be copied under the terms of the GNU General
# Public License - see the file COPYING in the Mercury distribution.
#---------------------------------------------------------------------------#
#
# canonical_grade.sh-subr:
#	An `sh' subroutine for computing a canonical grade string based on
#	the values of grade-related options.
#	It is used by the `ml', `c2init' and `canonical_grade' scripts.
#
#	The code here should be inserted after init_grade_options.sh-subr,
#	parse_grade_options.sh-subr and final_grade_options.sh-subr, which
#	together define a set of shell variables giving the values of the
#	various grade options.
#
#	Canonical_grade.sh-subr defines the variable GRADE, which will contain
#	the canonical string for the grade implied by the option values.
#
#	If the option values are inconsistent, this script fragment will
#	print an error message and exit with failure.
#
# IMPORTANT: any changes to the handling of grades here may also require
# changes to all the files indicated by runtime/mercury_grade.h.

case $non_local_gotos,$global_regs in
	true,true) 	GRADE="fast" ;;
	true,false)  	GRADE="jump" ;;
	false,true)  	GRADE="reg" ;;
	false,false)   	GRADE="none" ;;
esac

case $asm_labels in
	true)		GRADE="asm_$GRADE" ;;
	false)		;;
esac

case $highlevel_code,$highlevel_data,$GRADE,$target in
	true,true,none,*)		
		case $target in
			c|asm)	GRADE="hl" ;;
			il)	GRADE="il" ;;
			csharp) GRADE="csharp" ;;
			java)	GRADE="java" ;;
			erlang) GRADE="erlang" ;;
			*)
				progname=`basename $0`
				echo "$progname: unknown target: $target"
				exit 1
				;;
		esac
		;;
	true,false,none,*)	
		case $target in
			c|asm)	GRADE="hlc" ;;
			il)	GRADE="ilc" ;;
			*)
				progname=`basename $0`
				echo "$progname: unsupported target: $target"
				exit 1
				;;
		esac
		;;
	false,false,*,*)
		# GRADE was set above
		;;
	false,true,*,*)
		progname=`basename $0`
		echo "$progname: error: \`--high-level-data' requires \`--high-level-code'" 1>&2
		exit 1
		;;
	*)
		echo "$progname: error: \`--high-level-code' is incompatible with the use of" 1>&2
		echo "$progname: error: low-level gcc extensions implied by grade \`$GRADE'" 1>&2
		exit 1
		;;
esac

case $gcc_nested_functions,$highlevel_code in
	true,true)	GRADE="${GRADE}_nest" ;;
	*)		;;
esac
	
case $thread_safe,$threadscope in
	true,false)	    GRADE="$GRADE.par" ;;
    true,true)      GRADE="$GRADE.par.threadscope" ;;
    false,false)    ;;
	*)
        echo "$progname: error: The 'threadscope' grade component may only be" 1>&2
        echo "$progname: error: used in parallel grades"
        exit 1
        ;;
esac

case $gc_method in
	conservative)	GRADE="$GRADE.gc" ;;	# deprecated; alias for boehm
	boehm)		GRADE="$GRADE.gc" ;;
	boehm_debug)	GRADE="$GRADE.gcd" ;;
	hgc)		GRADE="$GRADE.hgc" ;;
	mps)		GRADE="$GRADE.mps" ;;
	accurate)	GRADE="$GRADE.agc" ;;
esac

case $profile_time,$profile_calls,$profile_memory,$profile_deep in
	true,true,false,false)	GRADE="$GRADE.prof" ;;
	true,false,false,false)	GRADE="$GRADE.proftime" ;;
	false,true,false,false)	GRADE="$GRADE.profcalls" ;;
	true,true,true,false)	GRADE="$GRADE.profall" ;;
	false,true,true,false)	GRADE="$GRADE.memprof" ;;
	false,false,false,true)	GRADE="$GRADE.profdeep" ;;
	false,false,false,false)	;;
	*)			progname=`basename $0`
				echo "$progname: error: invalid combination of profiling options." 1>&2
				exit 1
				;;
esac

case $record_term_sizes_as_words,$record_term_sizes_as_cells in
	true,false)	GRADE="$GRADE.tsw" ;;
	false,true)	GRADE="$GRADE.tsc" ;;
	false,false)	;;
	*)		progname=`basename $0`
			echo "$progname: error: invalid combination of term size profiling options." 1>&2
			exit 1
			;;
esac

case $use_trail,$trail_segments in
	true,false)	GRADE="$GRADE.tr" ;;
	true,true)	GRADE="$GRADE.trseg" ;;
	false,false)	;;
	*)		progname=`basename $0`
			echo "$progname: error: invalid combination of trailing options." 1>&2
			exit 1
			;;
esac

case $use_minimal_model_stack_copy,$use_minimal_model_own_stacks,$minimal_model_debug in
	true,false,false)	GRADE="$GRADE.mmsc" ;;
	true,false,true)	GRADE="$GRADE.dmmsc" ;;
	false,true,false)	GRADE="$GRADE.mmos" ;;
	false,true,true)	GRADE="$GRADE.dmmos" ;;
	*)	;;
esac

case $pregenerated_dist,$single_prec_float in
	true,false)	GRADE="$GRADE.pregen" ;;
	false,true)	GRADE="$GRADE.spf" ;;
	false,false)	;;
	*)		progname=`basename $0`
			echo "$progname: error: pregenerated dist incompatible with single-prec float." 1>&2
			exit 1
			;;
esac

# We ignore the value of $picreg in computing the name of the grade
# that we will use as a directory name in the Mercury linker.
# case $picreg in
# 	true)	GRADE="$GRADE.picreg" ;;
# 	false)	;;
# esac

case $debug,$decl_debug,$ss_debug in
	true,true,false)	GRADE="$GRADE.decldebug" ;;
	true,false,false)	GRADE="$GRADE.debug" ;;
	false,false,true)	GRADE="$GRADE.ssdebug" ;;
	false,false,false)	;;
	*)			progname=`basename $0`
				echo "$progname: error: invalid combination of debugging options." 1>&2
				exit 1
				;;
esac

case $ll_debug in
	true)		GRADE="$GRADE.ll_debug" ;;
	*)		;;
esac;

case $extend_stacks,$stack_segments in
	true,false)	GRADE="$GRADE.exts" ;;
	false,true)	GRADE="$GRADE.stseg" ;;
	false,false)	;;
	*)		progname=`basename $0`
			echo "$progname: error: invalid combination of stack extension options." 1>&2
			exit 1
			;;
esac

case $use_regions in
	true)
		case $use_regions_debug,$use_regions_profiling in
			false,false)	GRADE="$GRADE.rbmm" ;;
			false,true)	GRADE="$GRADE.rbmmp" ;;
			true,false)	GRADE="$GRADE.rbmmd" ;;
			true,true)	GRADE="$GRADE.rbmmdp" ;;
		esac
		;;
	false)
		;;
esac


echo $GRADE
exit 0
