[m-rev.] for review: installing extra C headers with Mercury libraries

[Julien Fischer]

On Mon, 1 Sep 2008, Peter Wang wrote:

> On 2008-09-01, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>>
>> For review by anyone.
>>
>> Estimated hours taken: 1
>> Branches: main
>>
>> Add a mechanism that allows extra C header files to be installed as part
>> of a Mercury library, in the same location as the header files generated
>> by the Mercury compiler.
>
>> This is useful when writing Mercury bindings
>> to C++ libraries since these often require an interface from C++ to C to
>> be written (at least where one does not already exist) and this usually
>> involves one or more header files that are then referenced from foreign_decl
>> pragmas on the Mercury side of things.
>
> Not sure it's such a great idea, but the code looks fine.
>
> Maybe we can have an mmc --output-install-prefix option, which would
> allow you to perform the installation outside of mmc --make.

Knowing the installation prefix is not sufficient; .mh files are
installed in a subdirectory of that.  The reason for the option
is so that users do not have to concern themselves with details of
how Mercury installs libraries.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------