mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-12 20:34:19 +00:00
A couple of additional parts of my change to add support for the
Estimated hours taken: 0.25
Branches: main
A couple of additional parts of my change to add support for the
MPS garbage collector which I forgot to commit in my previous change.
util/mkinit.c:
Define the stack_bottom parameter of `mercury_init' to have type
`void *' rather than `char *', and make sure that it is word-aligned.
MPS requires that it be word-aligned.
scripts/mgnuc.in:
Handle the new `mps' GC method.
This commit is contained in:
@@ -309,9 +309,11 @@ case $thread_safe in
|
||||
esac
|
||||
|
||||
case $gc_method in
|
||||
accurate) GC_OPTS="-DMR_NATIVE_GC" ;;
|
||||
boehm|conservative) GC_OPTS="-DMR_BOEHM_GC -DMR_CONSERVATIVE_GC" ;;
|
||||
none) GC_OPTS="" ;;
|
||||
accurate) GC_OPTS="-DMR_NATIVE_GC" ;;
|
||||
boehm) GC_OPTS="-DMR_CONSERVATIVE_GC -DMR_BOEHM_GC" ;;
|
||||
conservative) GC_OPTS="-DMR_CONSERVATIVE_GC -DMR_BOEHM_GC" ;;
|
||||
mps) GC_OPTS="-DMR_CONSERVATIVE_GC -DMR_MPS_GC" ;;
|
||||
none) GC_OPTS="" ;;
|
||||
esac
|
||||
|
||||
case $profile_time in
|
||||
|
||||
Reference in New Issue
Block a user