[m-rev.] diff: bug in outputting mercury and foreign type declarations in .opt file

[Peter Ross]

fjh wrote:
> On 13-Dec-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> > fjh wrote:
> > > On 12-Dec-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > > > On 10-Dec-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> > > > > I have built a test case for this, but the problems only shows up
when
> > > > > you build the .opt file in say a C grade and use the .opt file
when
> > > > > building in the IL grade.
> > > >
> > > > That's not a bug -- the `.opt' files are grade dependent.
> > > > If this is causing test failures, the correct fix is probably
> > > > to put `GRADEFLAGS-test = il' in Mercury.options.
> > >
> > > I think the issue shows up when running the tests against a workspace
> > > (e.g. when the tests get run from tools/bootcheck).
> > > The workspace typically gets compiled with a C grade,
> > > but the IL tests need a .opt file that was built with an IL grade.
> >
> > No the problem shows up with installed compilers, because only the copy
of
> > the .opt files built with the default grade are installed
>
> Are you sure?  Simon recently (August 22) committed a change
> whose log message included "install .opt files in a grade-dependent
> directory".  They should get installed in .../lib/mercury/ints/<grade>.
>
I was confused by the fact that there is also a copy in lib/mercury/ints.
Yes they exist for all the installed grades except for the il grade.  The
directory exists but it empty.  You can see a log from my nightly install
here in ~/LOG.mercury.gz.



---
Outgoing mail is certified Virus Free.
Checked by AVG anti-virus system (http://www.grisoft.com).
Version: 6.0.419 / Virus Database: 235 - Release Date: 11/13/2002

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------