From 585fca09aeb3dda5b718b534043edf2929da944c Mon Sep 17 00:00:00 2001 From: Simon Taylor Date: Thu, 16 Jan 2003 04:11:30 +0000 Subject: [PATCH] Pass the configured values for --executable-file-extension, Estimated hours taken: 0.1 Branches: main, release scripts/mmc.in: Pass the configured values for --executable-file-extension, --shared-library-extension and --pic-object-extension. --- scripts/mmc.in | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/scripts/mmc.in b/scripts/mmc.in index 066d80529..2eb9e90b8 100644 --- a/scripts/mmc.in +++ b/scripts/mmc.in @@ -1,7 +1,7 @@ #! /bin/sh # @configure_input@ #---------------------------------------------------------------------------# -# Copyright (C) 1994-1998, 2000-2002 The University of Melbourne. +# Copyright (C) 1994-1998, 2000-2003 The 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. #---------------------------------------------------------------------------# @@ -44,6 +44,9 @@ DEFAULT_MCFLAGS=${DEFAULT_MCFLAGS-"\ --c-flag-to-name-object-file \"@OBJFILE_OPT@\" \ --object-file-extension \".@OBJ_SUFFIX@\" \ --pic-object-file-extension \".@EXT_FOR_PIC_OBJECTS@\" \ + --executable-file-extension \"@EXT_FOR_EXE@\" \ + --shared-library-extension \".@EXT_FOR_SHARED_LIB@\" \ + --library-extension \".@LIB_SUFFIX@\" --create-archive-command \"@AR@\" \ --create-archive-command-output-flag \"@AR_LIBFILE_OPT@\" \ --create-archive-command-flags \"@ARFLAGS@\" \