For Linux with ELF, if `--trace' is enabled, then

Estimated hours taken: 0.25

scripts/ml.in:
	For Linux with ELF, if `--trace' is enabled, then
	pass `-rdynamic' to gcc.   This is needed to make symbols
	exported for use in code linked in with dlopen(),
	which is used for interactive queries in the
	Mercury debugger.
This commit is contained in:
Fergus Henderson
1999-03-29 10:55:34 +00:00
parent e06fa4993d
commit b44a1d88bd

View File

@@ -460,8 +460,10 @@ case $EXT_FOR_SHARED_LIB in so)
;;
esac
# On Irix 5, grades `fast' and `jump' only work in non_shared mode.
case $FULLARCH in
#
# On Irix 5, grades `fast' and `jump' only work in non_shared mode.
#
*-sgi-irix5*)
case $non_local_gotos in
true)
@@ -472,6 +474,21 @@ case $FULLARCH in
;;
esac
;;
#
# On Linux ELF, `-rdynamic' is needed to make symbols
# exported for use in code linked in with dlopen(),
# which is used for interactive queries in the
# Mercury debugger.
#
*-linux*aout*)
# Linux a.out -- no special options needed
;;
*-linux*)
# Linux ELF -- need to add `-rdynamic' if using the debugger
case $trace in true)
ARCH_OPTS=-rdynamic
esac
;;
esac
case "$MKFIFO" in