mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-09 02:43:21 +00:00
3de6904858
Estimated hours taken: 0.5 mercury/Mmake.common.in: mercury/configure.in: mercury/compiler/Mmakefile: mercury/compiler/maybe_mlds_to_gcc.pp: mercury/compiler/mercury_compile.m: mercury/compiler/mlds_to_gcc.m: mercury/compiler/modules.m: mercury/runtime/mercury_type_info.h: mercury/runtime/mercury_wrapper.c: mercury/runtime/mercury_wrapper.h: mercury/scripts/Mmake.rules: mercury/scripts/Mmake.vars.in: mercury/scripts/final_grade_options.sh-subr: mercury/scripts/init_grade_options.sh-subr: mercury/scripts/mmake.in: mercury/scripts/parse_grade_options.sh-subr: gcc/Make-lang.in: gcc/Makefile: gcc/Mmakefile: gcc/lang-specs.h: gcc/mercury-gcc.c: Merge my recent changes on the gcc-backend-branch back onto the main branch.
59 lines
1.6 KiB
Plaintext
59 lines
1.6 KiB
Plaintext
#---------------------------------------------------------------------------#
|
|
# Copyright (C) 1998-2001 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.
|
|
#
|
|
#---------------------------------------------------------------------------#
|
|
|
|
#
|
|
# .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
|
|
|
|
#
|
|
# .debug grade implies --use-trail in the absence of .mm
|
|
# (see comment in compiler/handle_options.m for rationale)
|
|
#
|
|
case $stack_trace,$require_tracing,$use_minimal_model in
|
|
true,true,false)
|
|
use_trail=true ;;
|
|
esac
|
|
|
|
#
|
|
# --target asm or IL implies --high-level-code
|
|
#
|
|
case $target in asm|il)
|
|
highlevel_code=true ;;
|
|
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
|
|
|
|
#---------------------------------------------------------------------------#
|