[m-rev.] for review: --common-struct-preds

[Zoltan Somogyi]

On 26-May-2008, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> It most certainly is.  (In fact it is likely to be useful in G12
> immediately because of bug #57.)

In that case, maybe you can also use this script I wrote as the basis
for something:

#!/bin/sh
# vim: ts=4 sw=4 et

# update as needed
all_predids="1 2 3 4 5"

line1="GRADE=asm_fast.gc.debug.tr"
line2="MCFLAGS-check_hlds.polymorphism = -d340 --auto-comments"
opts="--grade asm_fast.gc.debug.tr --mercury-linkage shared
--flags LIB_FLAGS --flags INTER_FLAGS --make-optimization-interface"

root=`/bin/pwd`
failures=""
successes=""
echo > PROGRESS

for predid in ${all_predids}
do
    cd $root
    echo "${line1}" > Mmake.params
    echo "${line2} --common-struct-preds ${predid}" >> Mmake.params
    touch compiler/polymorphism.m
    cd $root/compiler
    mmake >& errs
    cp check_hlds.polymorphism.hlds_dump.340-store_map ${root}/DUMPS/${predid}
    cp check_hlds.polymorphism.c ${root}/SOURCES/${predid}
    cd ${root}/stage2/library
    lmc99 ${opts} construct.m > ${root}/OUTPUT/${predid}
    status=${?}
    if test ${status} = 0
    then
        echo ${predid} succeeded >> ${root}/PROGRESS
        successes="${successes} ${predid}"
    else
        echo ${predid} failed >> ${root}/PROGRESS
        failures="${failures} ${predid}"
    fi
done

echo "failures: ${failures}"
echo "successes: ${successes}"
exit 0
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------