Enable Profiling on Linux

[searscr]

Description of work

This includes the DPROFILE_ALGORITHM_LINUX=ON cmake variable by default on Linux and adds performancelog.write to ConfigService to enable/disable writing the performace log for profiling algorithms. This also adds performancelog.filename to ConfigService to allow user to specify the filename for the log.

Purpose of work

mantid-profiler will provide a simple function/submodule that will make it easy to use mantid to create --infile (algorithmregister.out) without mantid being present. In the case of mantid being available at runtime, it will be used instead

To test:

• Add performancelog.write=On to Mantid.user.properties
• Run any algorithm in mantid, this should create a file with the default name algorithmregister.out with start time and start/stop times of the algorithm.

---

Reviewer

Please comment on the points listed below (full description).
Your comments will be used as part of the gatekeeper process, so please comment clearly on what you have checked during your review. If changes are made to the PR during the review process then your final comment will be the most important for gatekeepers. In this comment you should make it clear why any earlier review is still valid, or confirm that all requested changes have been addressed.

Code Review

• Is the code of an acceptable quality?
• Does the code conform to the coding standards?
• Are the unit tests small and test the class in isolation?
• If there is GUI work does it follow the GUI standards?
• If there are changes in the release notes then do they describe the changes appropriately?
• Do the release notes conform to the release notes guide?

Functional Tests

• Do changes function as described? Add comments below that describe the tests performed?
• Do the changes handle unexpected situations, e.g. bad input?
• Has the relevant (user and developer) documentation been added/updated?

Does everything look good? Mark the review as Approve. A member of @mantidproject/gatekeepers will take care of it.

Gatekeeper

If you need to request changes to a PR then please add a comment and set the review status to "Request changes". This will stop the PR from showing up in the list for other gatekeepers.

[mpatrou]

It looks good to me!