mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
d7194d2bbd
The Windows console (on Windows 10 at least) does not support ANSI escape
sequences by default, so turn off colored diagnostics by default when
the compiler is invoked via the mercury.bat batch file.
scripts/mercury.bat.in:
As above.
31 lines
1.2 KiB
Batchfile
31 lines
1.2 KiB
Batchfile
@echo off
|
|
rem @configure_input@
|
|
rem ---------------------------------------------------------------------------
|
|
rem Copyright (C) 2001, 2003, 2005, 2011 The University of Melbourne.
|
|
rem Copyright (C) 2020, 2024-2025 The Mercury team.
|
|
rem This file may only be copied under the terms of the GNU General
|
|
rem Public License - see the file COPYING in the Mercury distribution.
|
|
rem ---------------------------------------------------------------------------
|
|
rem
|
|
rem mercury.bat - Melbourne Mercury Compiler.
|
|
rem
|
|
rem Use `mercury -h' for help.
|
|
rem
|
|
rem ---------------------------------------------------------------------------
|
|
rem This is a Windows batch file version of the `mmc' Bourne shell script.
|
|
rem (We don't use that name because it conflicts with that of the Microsoft
|
|
rem Management Console.)
|
|
rem ---------------------------------------------------------------------------
|
|
|
|
rem Do not export any local environment changes and ensure command extensions
|
|
rem are enabled.
|
|
setlocal enableextensions
|
|
|
|
set "MERCURY_CONFIG_DIR=@CONFIG_LIBDIR@"
|
|
set "MERCURY_COMPILER=@PREFIX@\bin\mercury_compile"
|
|
set "MERCURY_HOST_ENV_TYPE=windows"
|
|
set "MERCURY_TARGET_ENV_TYPE=windows"
|
|
set "MERCURY_ENABLE_COLOR=never"
|
|
|
|
%MERCURY_COMPILER% %*
|