[m-dev.] deep profiler installation

[Peter Wang]

Hi,

The Mercury distribution currently assumes CGI programs should go in
/usr/lib/cgi-bin and won't enable the deep profiler if it doesn't exist.

I propose to install mdprof_cgi to the standard Mercury bin directory
and let the user figure it out for their own system/web server.
Since this will allow ./configure --enable-deep-profiler to work even
without the /usr/lib/cgi-bin directory, I propose also to enable the
deep profiler by default.

Peter

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------