[m-dev.] deep profiler installation

Peter Wang novalazy at gmail.com
Wed Dec 5 15:03:31 AEDT 2007


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.


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

More information about the developers mailing list