From f1d37af1a6a23b9d3a62ae77408e469bd0fdf219 Mon Sep 17 00:00:00 2001
From: Fergus Henderson <fjh@cs.mu.oz.au>
Date: Thu, 20 Jul 1995 13:59:12 +0000
Subject: [PATCH] Add script to invoke mercury_profile.

scripts/mprof.m, scripts/Mmake:
	Add script to invoke mercury_profile.
---
 scripts/Mmake    |  2 +-
 scripts/mprof.in | 17 +++++++++++++++++
 2 files changed, 18 insertions(+), 1 deletion(-)
 create mode 100644 scripts/mprof.in

diff --git a/scripts/Mmake b/scripts/Mmake
index e457923c2..6ec941340 100644
--- a/scripts/Mmake
+++ b/scripts/Mmake
@@ -14,7 +14,7 @@ include ../Mmake.common
 
 #-----------------------------------------------------------------------------#
 
-SCRIPTS = mmake mc mod2c c2init mgnuc ml mint \
+SCRIPTS = mmake mc mod2c c2init mgnuc ml mprof mint \
 	  sicstus_conv mtags vpath_find mercury_update_interface
 NUPROLOG_SCRIPTS = mcn mnc mnl mnp
 SICSTUS_SCRIPTS = mcs msc msl msp
diff --git a/scripts/mprof.in b/scripts/mprof.in
new file mode 100644
index 000000000..190e467c8
--- /dev/null
+++ b/scripts/mprof.in
@@ -0,0 +1,17 @@
+#! /bin/sh
+# @configure_input@
+#---------------------------------------------------------------------------#
+# Copyright (C) 1995 University of Melbourne.
+# This file may only be copied under the terms of the GNU General
+# Public License - see the file COPYING in the Mercury distribution.
+#---------------------------------------------------------------------------#
+#
+# MPROF - Mercury Profiler
+#
+# Use `mprof -h' for help.
+#
+# Environment variables: MERCURY_PROFILER.
+
+MPROF=${MERCURY_PROFILER="@LIBDIR@/bin/@FULLARCH@/mercury_profile"}
+
+exec $MPROF -- "$@"