An older version of the Mercury system was previously tested on Solaris 10 (SunOS 5.10); we do not know if it still works.
Note that --linkage static is not supported on Solaris. Executables produced
using this option will cause a segmentation fault.