diff --git a/compiler/backend_libs.m b/compiler/backend_libs.m
index 0dbd8c7ec..4d574f274 100644
--- a/compiler/backend_libs.m
+++ b/compiler/backend_libs.m
@@ -20,6 +20,7 @@
:- include_module builtin_ops.
:- include_module c_util.
:- include_module compile_target_code.
+:- include_module create_launchers.
:- include_module export.
:- include_module foreign.
:- include_module interval.
diff --git a/compiler/create_launchers.m b/compiler/create_launchers.m
new file mode 100644
index 000000000..9cc16b7b4
--- /dev/null
+++ b/compiler/create_launchers.m
@@ -0,0 +1,336 @@
+%---------------------------------------------------------------------------%
+% vim: ft=mercury ts=4 sw=4 et
+%---------------------------------------------------------------------------%
+% Copyright (C) 2026 The Mercury team.
+% This file may only be copied under the terms of the GNU General
+% Public License - see the file COPYING in the Mercury distribution.
+%---------------------------------------------------------------------------%
+%
+% File: create_launchers.m.
+%
+% This module creates launcher scripts that play the role of executables
+% for the Java backend, and does the last step of creating such executables
+% for the C# backend.
+%
+% The difference is that the C# backend is much newer. We export
+% create_java_shell_script to two modules beyond its main user,
+% link_target_code.m:
+%
+% - write_deps_file.m, to allow the creation of java launchers for a program
+% when we create its .dep file for Mmake, and
+%
+% - to mercury_compile_main.m, to allow it to create the launcher as part of
+% the opfam_target_object_and_executable op_mode.
+%
+% The C# backend was designed NOT to support Mmake, and mercury_compile_main.m
+% flat out IGNORES the job of create launcher scripts for that op_mode when
+% targeting C#.
+%
+% This is why the C# equivalent of create_java_shell_script is local to
+% link_target_code.m. If and when we ever fix the IGNORE above (if that fix
+% is even possible, without the initial setup from mmc --make), it would
+% have to start with moving that code here.
+%
+%---------------------------------------------------------------------------%
+
+:- module backend_libs.create_launchers.
+:- interface.
+
+:- import_module libs.
+:- import_module libs.globals.
+:- import_module libs.maybe_util.
+:- import_module mdbcomp.
+:- import_module mdbcomp.sym_name.
+
+:- import_module io.
+
+%---------------------------------------------------------------------------%
+
+ % Create a shell script with the same name as the given module to invoke
+ % Java with the appropriate options on the class of the same name.
+ %
+:- pred create_java_shell_script(io.text_output_stream::in, globals::in,
+ module_name::in, maybe_succeeded::out, io::di, io::uo) is det.
+
+%---------------------------------------------------------------------------%
+
+:- pred create_shell_script_as_executable(io.text_output_stream::in,
+ globals::in, module_name::in, string::in, maybe_succeeded::out,
+ io::di, io::uo) is det.
+
+%---------------------------------------------------------------------------%
+%---------------------------------------------------------------------------%
+
+:- implementation.
+
+:- import_module libs.file_util.
+:- import_module libs.options.
+:- import_module parse_tree.
+:- import_module parse_tree.file_names.
+:- import_module parse_tree.java_names.
+:- import_module parse_tree.module_cmds.
+
+:- import_module bool.
+:- import_module dir.
+:- import_module io.call_system.
+:- import_module io.environment.
+:- import_module io.file.
+:- import_module list.
+:- import_module maybe.
+:- import_module require.
+:- import_module string.
+
+%---------------------------------------------------------------------------%
+
+create_java_shell_script(ProgressStream, Globals, MainModuleName,
+ Succeeded, !IO) :-
+ % XXX LEGACY
+ module_name_to_file_name(Globals, $pred, ext_cur_gs(ext_cur_gs_lib_jar),
+ MainModuleName, JarFileName, _JarFileNameProposed),
+ get_target_env_type(Globals, TargetEnvType),
+ (
+ ( TargetEnvType = env_type_posix
+ ; TargetEnvType = env_type_cygwin
+ ),
+ io.environment.get_environment_var("MERCURY_STAGE2_LAUNCHER_BASE",
+ MaybeStage2Base, !IO),
+ construct_java_shell_script(Globals, MaybeStage2Base,
+ MainModuleName, JarFileName, ContentStr),
+ create_shell_script_as_executable(ProgressStream, Globals,
+ MainModuleName, ContentStr, Succeeded, !IO)
+ ;
+ TargetEnvType = env_type_msys,
+ construct_java_msys_shell_script(Globals, MainModuleName, JarFileName,
+ ContentStr),
+ create_shell_script_as_executable(ProgressStream, Globals,
+ MainModuleName, ContentStr, Succeeded, !IO)
+ ;
+ % XXX should create a .ps1 file on PowerShell.
+ ( TargetEnvType = env_type_win_cmd
+ ; TargetEnvType = env_type_powershell
+ ),
+ construct_java_batch_file(Globals, MainModuleName, JarFileName,
+ ContentStr),
+ create_java_launcher_batch_file(ProgressStream, Globals,
+ MainModuleName, ContentStr, Succeeded, !IO)
+ ).
+
+%---------------------%
+
+:- pred construct_java_shell_script(globals::in, maybe(string)::in,
+ module_name::in, file_name::in, string::out) is det.
+
+construct_java_shell_script(Globals, MaybeStage2Base,
+ MainModuleName, JarFileName, ContentStr) :-
+ (
+ MaybeStage2Base = no,
+ get_mercury_std_libs_for_java(Globals, MercuryStdLibs)
+ ;
+ MaybeStage2Base = yes(Stage2Base),
+ MercuryStdLibs = [
+ Stage2Base / "library/mer_rt.jar",
+ Stage2Base / "library/mer_std.jar"
+ ]
+ ),
+ globals.lookup_accumulating_option(Globals, java_classpath,
+ UserClasspath),
+ % We prepend the .class files' directory and the current CLASSPATH.
+ Java_Incl_Dirs = ["\"$DIR/" ++ JarFileName ++ "\""] ++
+ MercuryStdLibs ++ ["$CLASSPATH" | UserClasspath],
+ ClassPath = string.join_list("${SEP}", Java_Incl_Dirs),
+
+ globals.lookup_accumulating_option(Globals, java_runtime_flags,
+ RuntimeFlags),
+ RuntimeOpts0 = string.join_list(" ", RuntimeFlags),
+ RuntimeOpts = escape_single_quotes_for_shell_script(RuntimeOpts0),
+
+ globals.lookup_string_option(Globals, java_interpreter, Java),
+ mangle_sym_name_for_java(MainModuleName, module_qual, ".", ClassName),
+
+ ContentStr = string.append_list([
+ "#!/bin/sh\n",
+ "DIR=${0%/*}\n",
+ "DIR=$( cd \"${DIR}\" && pwd -P )\n",
+ "case $WINDIR in\n",
+ " '') SEP=':' ;;\n",
+ " *) SEP=';' ;;\n",
+ "esac\n",
+ "CLASSPATH=", ClassPath, "\n",
+ "export CLASSPATH\n",
+ "MERCURY_JAVA=${MERCURY_JAVA:-'", Java, "'}\n",
+ "MERCURY_JAVA_OPTIONS=${MERCURY_JAVA_OPTIONS:-'", RuntimeOpts, "'}\n",
+ "exec \"$MERCURY_JAVA\" $MERCURY_JAVA_OPTIONS jmercury.", ClassName,
+ " \"$@\"\n"
+ ]).
+
+%---------------------%
+
+ % For the MSYS version of the Java launcher script, there are a few
+ % differences:
+ %
+ % 1. The value of the CLASSPATH environment variable we construct for the
+ % Java interpreter must contain Windows style paths.
+ %
+ % 2. We use forward slashes as directory separators rather than back
+ % slashes since the latter require escaping inside the shell script.
+ %
+ % 3. The path separator character, ';', in the value of CLASSPATH must be
+ % escaped because it is a statement separator in sh.
+ %
+ % 4. The path of the Java interpreter must be a Unix style path as it will
+ % be invoked directly from the MSYS shell.
+ %
+ % XXX TODO: handle MERCURY_STAGE2_LAUNCHER_BASE for this case.
+ %
+:- pred construct_java_msys_shell_script(globals::in, module_name::in,
+ file_name::in, string::out) is det.
+
+construct_java_msys_shell_script(Globals, MainModuleName, JarFileName,
+ ContentStr) :-
+ get_mercury_std_libs_for_java(Globals, MercuryStdLibs),
+ globals.lookup_accumulating_option(Globals, java_classpath,
+ UserClasspath),
+ % We prepend the .class files' directory and the current CLASSPATH.
+ Java_Incl_Dirs0 = ["\"$DIR/" ++ JarFileName ++ "\""] ++
+ MercuryStdLibs ++ ["$CLASSPATH" | UserClasspath],
+ Java_Incl_Dirs = list.map(func(S) = string.replace_all(S, "\\", "/"),
+ Java_Incl_Dirs0),
+ ClassPath = string.join_list("\\;", Java_Incl_Dirs),
+
+ globals.lookup_accumulating_option(Globals, java_runtime_flags,
+ RuntimeFlags),
+ RuntimeOpts0 = string.join_list(" ", RuntimeFlags),
+ RuntimeOpts = escape_single_quotes_for_shell_script(RuntimeOpts0),
+
+ globals.lookup_string_option(Globals, java_interpreter, Java),
+ mangle_sym_name_for_java(MainModuleName, module_qual, ".", ClassName),
+
+ ContentStr = string.append_list([
+ "#!/bin/sh\n",
+ "DIR=${0%/*}\n",
+ "DIR=$( cd \"${DIR}\" && pwd -W )\n",
+ "CLASSPATH=", ClassPath, "\n",
+ "export CLASSPATH\n",
+ "MERCURY_JAVA=${MERCURY_JAVA:-'", Java, "'}\n",
+ "MERCURY_JAVA_OPTIONS=${MERCURY_JAVA_OPTIONS:-'", RuntimeOpts, "'}\n",
+ "exec \"$MERCURY_JAVA\" $MERCURY_JAVA_OPTIONS jmercury.", ClassName,
+ " \"$@\"\n"
+ ]).
+
+:- func escape_single_quotes_for_shell_script(string) = string.
+
+escape_single_quotes_for_shell_script(S) =
+ ( if string.contains_char(S, '\'') then
+ string.replace_all(S, "'", "'\\''")
+ else
+ S
+ ).
+
+%---------------------%
+
+:- pred construct_java_batch_file(globals::in, module_name::in, file_name::in,
+ string::out) is det.
+
+construct_java_batch_file(Globals, MainModuleName, JarFileName, ContentStr) :-
+ get_mercury_std_libs_for_java(Globals, MercuryStdLibs),
+ globals.lookup_accumulating_option(Globals, java_classpath,
+ UserClasspath),
+ % We prepend the .class files' directory and the current CLASSPATH.
+ Java_Incl_Dirs = ["%DIR%\\" ++ JarFileName] ++ MercuryStdLibs ++
+ ["%CLASSPATH%" | UserClasspath],
+ ClassPath = string.join_list(";", Java_Incl_Dirs),
+
+ globals.lookup_accumulating_option(Globals, java_runtime_flags,
+ RuntimeFlags),
+ RuntimeOpts = string.join_list(" ", RuntimeFlags),
+
+ globals.lookup_string_option(Globals, java_interpreter, Java),
+ mangle_sym_name_for_java(MainModuleName, module_qual, ".", ClassName),
+
+ ContentStr = string.append_list([
+ "@echo off\n",
+ "rem Automatically generated by the Mercury compiler.\n",
+ "setlocal enableextensions\n",
+ "set DIR=%~dp0\n",
+ "set CLASSPATH=", ClassPath, "\n",
+ "if not defined MERCURY_JAVA_OPTIONS set MERCURY_JAVA_OPTIONS=",
+ RuntimeOpts, "\n",
+ Java, " %MERCURY_JAVA_OPTIONS% jmercury.", ClassName, " %*\n"
+ ]).
+
+%---------------------%
+
+:- pred create_java_launcher_batch_file(io.text_output_stream::in,
+ globals::in, module_name::in, string::in, maybe_succeeded::out,
+ io::di, io::uo) is det.
+
+create_java_launcher_batch_file(ProgressStream, Globals, MainModuleName,
+ ContentStr, Succeeded, !IO) :-
+ % XXX LEGACY
+ module_name_to_file_name_create_dirs(Globals, $pred,
+ ext_cur_gas(ext_cur_gas_exec_bat), MainModuleName,
+ FileName, _FileNameProposed, !IO),
+
+ globals.lookup_bool_option(Globals, verbose, Verbose),
+ maybe_write_string(ProgressStream, Verbose,
+ "% Generating batch file `" ++ FileName ++ "'...\n", !IO),
+
+ % Remove an existing batch file of the same name, if any.
+ io.file.remove_file(FileName, _, !IO),
+ io.open_output(FileName, OpenResult, !IO),
+ (
+ OpenResult = ok(Stream),
+ io.write_string(Stream, ContentStr, !IO),
+ io.close_output(Stream, !IO),
+ Succeeded = succeeded
+ ;
+ OpenResult = error(Message),
+ unexpected($pred, io.error_message(Message)),
+ Succeeded = did_not_succeed
+ ).
+
+%---------------------------------------------------------------------------%
+
+create_shell_script_as_executable(ProgressStream, Globals,
+ MainModuleName, ContentStr, Succeeded, !IO) :-
+ Ext = ext_cur_gas(ext_cur_gas_exec_noext),
+ % XXX LEGACY
+ module_name_to_file_name_create_dirs(Globals, $pred, Ext,
+ MainModuleName, LauncherFileName, _LauncherFileNameProposed, !IO),
+
+ globals.lookup_bool_option(Globals, verbose, Verbose),
+ maybe_write_string(ProgressStream, Verbose,
+ "% Generating shell script `" ++ LauncherFileName ++ "'...\n", !IO),
+
+ % Remove symlink in the way, if any.
+ io.file.remove_file(LauncherFileName, _, !IO),
+ io.open_output(LauncherFileName, OpenResult, !IO),
+ (
+ OpenResult = ok(Stream),
+ io.write_string(Stream, ContentStr, !IO),
+ io.close_output(Stream, !IO),
+ io.call_system.call_system("chmod a+x " ++ LauncherFileName,
+ ChmodResult, !IO),
+ (
+ ChmodResult = ok(Status),
+ ( if Status = 0 then
+ Succeeded = succeeded,
+ maybe_write_string(ProgressStream, Verbose, "% done.\n", !IO)
+ else
+ unexpected($pred, "chmod exit status != 0"),
+ Succeeded = did_not_succeed
+ )
+ ;
+ ChmodResult = error(Message),
+ unexpected($pred, io.error_message(Message)),
+ Succeeded = did_not_succeed
+ )
+ ;
+ OpenResult = error(Message),
+ unexpected($pred, io.error_message(Message)),
+ Succeeded = did_not_succeed
+ ).
+
+%---------------------------------------------------------------------------%
+:- end_module backend_libs.create_launchers.
+%---------------------------------------------------------------------------%
diff --git a/compiler/link_target_code.m b/compiler/link_target_code.m
index 4a23912dd..d6391de10 100644
--- a/compiler/link_target_code.m
+++ b/compiler/link_target_code.m
@@ -178,6 +178,7 @@
:- implementation.
+:- import_module backend_libs.create_launchers.
:- import_module libs.options.
:- import_module libs.shell_util.
:- import_module libs.system_cmds.
@@ -1379,8 +1380,8 @@ create_exe_or_lib_for_csharp(Globals, ProgressStream, LinkedTargetType,
then
construct_cli_shell_script_for_csharp(Globals, FullOutputFileName,
ContentStr),
- create_launcher_shell_script(ProgressStream, Globals, MainModuleName,
- ContentStr, Succeeded, !IO)
+ create_shell_script_as_executable(ProgressStream, Globals,
+ MainModuleName, ContentStr, Succeeded, !IO)
else
Succeeded = Succeeded0
).
diff --git a/compiler/mercury_compile_main.m b/compiler/mercury_compile_main.m
index 733b904ee..9c7ca8154 100644
--- a/compiler/mercury_compile_main.m
+++ b/compiler/mercury_compile_main.m
@@ -41,6 +41,7 @@
:- import_module backend_libs.
:- import_module backend_libs.compile_target_code.
+:- import_module backend_libs.create_launchers.
:- import_module backend_libs.link_target_code.
:- import_module check_hlds.
:- import_module check_hlds.switch_detection.
@@ -498,6 +499,12 @@ generate_executable(ProgressStream, ErrorStream, Globals, InvokedByMmcMake,
( Target = target_c
; Target = target_csharp
),
+ % XXX The code below is appropriate for creating real, actual
+ % executable files, as used by the C backend. Why are we executing
+ % the same code for C#, whose backend uses a launcher script,
+ % not a real executable? This totally does the wrong thing
+ % for e.g. "mmc --grade csharp a.m b.m c.m".
+ %
% XXX STREAM
% Should we go from non-main-module-specific
% progress and error streams to main-module-specific streams?
diff --git a/compiler/module_cmds.m b/compiler/module_cmds.m
index 45746f5a1..c0cf8fc07 100644
--- a/compiler/module_cmds.m
+++ b/compiler/module_cmds.m
@@ -30,15 +30,13 @@
% - The third groups handles symlinks, including simulating them on
% platforms that do not support symlinks.
%
-% - A fourth group creates launcher scripts for Java and C#.
+% - A fourth group contains utility predicates for Java.
%
-% - A fifth group contains utility predicates for Java.
-%
-% - A sixth group (a single predicate) sets the exit status if needeed.
+% - A fifth group (a single predicate) sets the exit status if needeed.
%
% XXX The current order does not match the above more logical order.
%
-% XXX Only the first two groups shoild be here; the others do not belong here.
+% XXX Only the first two groups should be here; the others do not belong here.
%
% XXX Most users of most of these predicates deal with target language files.
% They do not need to know their contents, so they do not belong any
@@ -161,16 +159,6 @@
:- pred maybe_set_exit_status(maybe_succeeded::in, io::di, io::uo) is det.
%-----------------------------------------------------------------------------%
-%
-% Java command-line tools utilities.
-%
-
- % Create a shell script with the same name as the given module to invoke
- % Java with the appropriate options on the class of the same name.
- %
-:- pred create_java_shell_script(io.text_output_stream::in, globals::in,
- module_name::in, maybe_succeeded::out, io::di, io::uo) is det.
-
% Return the standard Mercury libraries needed for a Java program.
% Return the empty list if --mercury-standard-library-directory
% is not set.
@@ -202,12 +190,6 @@
%
:- pred get_env_classpath(string::out, io::di, io::uo) is det.
-%-----------------------------------------------------------------------------%
-
-:- pred create_launcher_shell_script(io.text_output_stream::in,
- globals::in, module_name::in, string::in, maybe_succeeded::out,
- io::di, io::uo) is det.
-
%-----------------------------------------------------------------------------%
%-----------------------------------------------------------------------------%
@@ -215,12 +197,10 @@
:- import_module libs.copy_util.
:- import_module libs.options.
-:- import_module parse_tree.java_names.
:- import_module bool.
:- import_module dir.
:- import_module int.
-:- import_module io.call_system.
:- import_module io.environment.
:- import_module io.file.
:- import_module maybe.
@@ -430,181 +410,6 @@ maybe_set_exit_status(succeeded, !IO).
maybe_set_exit_status(did_not_succeed, !IO) :-
io.set_exit_status(1, !IO).
-%-----------------------------------------------------------------------------%
-%
-% Java command-line utilities.
-%
-
-create_java_shell_script(ProgressStream, Globals, MainModuleName,
- Succeeded, !IO) :-
- % XXX LEGACY
- module_name_to_file_name(Globals, $pred, ext_cur_gs(ext_cur_gs_lib_jar),
- MainModuleName, JarFileName, _JarFileNameProposed),
- get_target_env_type(Globals, TargetEnvType),
- (
- ( TargetEnvType = env_type_posix
- ; TargetEnvType = env_type_cygwin
- ),
- io.environment.get_environment_var("MERCURY_STAGE2_LAUNCHER_BASE",
- MaybeStage2Base, !IO),
- construct_java_shell_script(Globals, MaybeStage2Base,
- MainModuleName, JarFileName, ContentStr),
- create_launcher_shell_script(ProgressStream, Globals, MainModuleName,
- ContentStr, Succeeded, !IO)
- ;
- TargetEnvType = env_type_msys,
- construct_java_msys_shell_script(Globals, MainModuleName, JarFileName,
- ContentStr),
- create_launcher_shell_script(ProgressStream, Globals, MainModuleName,
- ContentStr, Succeeded, !IO)
- ;
- % XXX should create a .ps1 file on PowerShell.
- ( TargetEnvType = env_type_win_cmd
- ; TargetEnvType = env_type_powershell
- ),
- construct_java_batch_file(Globals, MainModuleName, JarFileName,
- ContentStr),
- create_launcher_batch_file(ProgressStream, Globals, MainModuleName,
- ContentStr, Succeeded, !IO)
- ).
-
-:- pred construct_java_shell_script(globals::in, maybe(string)::in,
- module_name::in, file_name::in, string::out) is det.
-
-construct_java_shell_script(Globals, MaybeStage2Base,
- MainModuleName, JarFileName, ContentStr) :-
- (
- MaybeStage2Base = no,
- get_mercury_std_libs_for_java(Globals, MercuryStdLibs)
- ;
- MaybeStage2Base = yes(Stage2Base),
- MercuryStdLibs = [
- Stage2Base / "library/mer_rt.jar",
- Stage2Base / "library/mer_std.jar"
- ]
- ),
- globals.lookup_accumulating_option(Globals, java_classpath,
- UserClasspath),
- % We prepend the .class files' directory and the current CLASSPATH.
- Java_Incl_Dirs = ["\"$DIR/" ++ JarFileName ++ "\""] ++
- MercuryStdLibs ++ ["$CLASSPATH" | UserClasspath],
- ClassPath = string.join_list("${SEP}", Java_Incl_Dirs),
-
- globals.lookup_accumulating_option(Globals, java_runtime_flags,
- RuntimeFlags),
- RuntimeOpts0 = string.join_list(" ", RuntimeFlags),
- RuntimeOpts = escape_single_quotes_for_shell_script(RuntimeOpts0),
-
- globals.lookup_string_option(Globals, java_interpreter, Java),
- mangle_sym_name_for_java(MainModuleName, module_qual, ".", ClassName),
-
- ContentStr = string.append_list([
- "#!/bin/sh\n",
- "DIR=${0%/*}\n",
- "DIR=$( cd \"${DIR}\" && pwd -P )\n",
- "case $WINDIR in\n",
- " '') SEP=':' ;;\n",
- " *) SEP=';' ;;\n",
- "esac\n",
- "CLASSPATH=", ClassPath, "\n",
- "export CLASSPATH\n",
- "MERCURY_JAVA=${MERCURY_JAVA:-'", Java, "'}\n",
- "MERCURY_JAVA_OPTIONS=${MERCURY_JAVA_OPTIONS:-'", RuntimeOpts, "'}\n",
- "exec \"$MERCURY_JAVA\" $MERCURY_JAVA_OPTIONS jmercury.", ClassName,
- " \"$@\"\n"
- ]).
-
- % For the MSYS version of the Java launcher script, there are a few
- % differences:
- %
- % 1. The value of the CLASSPATH environment variable we construct for the
- % Java interpreter must contain Windows style paths.
- %
- % 2. We use forward slashes as directory separators rather than back
- % slashes since the latter require escaping inside the shell script.
- %
- % 3. The path separator character, ';', in the value of CLASSPATH must be
- % escaped because it is a statement separator in sh.
- %
- % 4. The path of the Java interpreter must be a Unix style path as it will
- % be invoked directly from the MSYS shell.
- %
- % XXX TODO: handle MERCURY_STAGE2_LAUNCHER_BASE for this case.
- %
-:- pred construct_java_msys_shell_script(globals::in, module_name::in,
- file_name::in, string::out) is det.
-
-construct_java_msys_shell_script(Globals, MainModuleName, JarFileName,
- ContentStr) :-
- get_mercury_std_libs_for_java(Globals, MercuryStdLibs),
- globals.lookup_accumulating_option(Globals, java_classpath,
- UserClasspath),
- % We prepend the .class files' directory and the current CLASSPATH.
- Java_Incl_Dirs0 = ["\"$DIR/" ++ JarFileName ++ "\""] ++
- MercuryStdLibs ++ ["$CLASSPATH" | UserClasspath],
- Java_Incl_Dirs = list.map(func(S) = string.replace_all(S, "\\", "/"),
- Java_Incl_Dirs0),
- ClassPath = string.join_list("\\;", Java_Incl_Dirs),
-
- globals.lookup_accumulating_option(Globals, java_runtime_flags,
- RuntimeFlags),
- RuntimeOpts0 = string.join_list(" ", RuntimeFlags),
- RuntimeOpts = escape_single_quotes_for_shell_script(RuntimeOpts0),
-
- globals.lookup_string_option(Globals, java_interpreter, Java),
- mangle_sym_name_for_java(MainModuleName, module_qual, ".", ClassName),
-
- ContentStr = string.append_list([
- "#!/bin/sh\n",
- "DIR=${0%/*}\n",
- "DIR=$( cd \"${DIR}\" && pwd -W )\n",
- "CLASSPATH=", ClassPath, "\n",
- "export CLASSPATH\n",
- "MERCURY_JAVA=${MERCURY_JAVA:-'", Java, "'}\n",
- "MERCURY_JAVA_OPTIONS=${MERCURY_JAVA_OPTIONS:-'", RuntimeOpts, "'}\n",
- "exec \"$MERCURY_JAVA\" $MERCURY_JAVA_OPTIONS jmercury.", ClassName,
- " \"$@\"\n"
- ]).
-
-:- func escape_single_quotes_for_shell_script(string) = string.
-
-escape_single_quotes_for_shell_script(S) =
- ( if string.contains_char(S, '\'') then
- string.replace_all(S, "'", "'\\''")
- else
- S
- ).
-
-:- pred construct_java_batch_file(globals::in, module_name::in, file_name::in,
- string::out) is det.
-
-construct_java_batch_file(Globals, MainModuleName, JarFileName, ContentStr) :-
- get_mercury_std_libs_for_java(Globals, MercuryStdLibs),
- globals.lookup_accumulating_option(Globals, java_classpath,
- UserClasspath),
- % We prepend the .class files' directory and the current CLASSPATH.
- Java_Incl_Dirs = ["%DIR%\\" ++ JarFileName] ++ MercuryStdLibs ++
- ["%CLASSPATH%" | UserClasspath],
- ClassPath = string.join_list(";", Java_Incl_Dirs),
-
- globals.lookup_accumulating_option(Globals, java_runtime_flags,
- RuntimeFlags),
- RuntimeOpts = string.join_list(" ", RuntimeFlags),
-
- globals.lookup_string_option(Globals, java_interpreter, Java),
- mangle_sym_name_for_java(MainModuleName, module_qual, ".", ClassName),
-
- ContentStr = string.append_list([
- "@echo off\n",
- "rem Automatically generated by the Mercury compiler.\n",
- "setlocal enableextensions\n",
- "set DIR=%~dp0\n",
- "set CLASSPATH=", ClassPath, "\n",
- "if not defined MERCURY_JAVA_OPTIONS set MERCURY_JAVA_OPTIONS=",
- RuntimeOpts, "\n",
- Java, " %MERCURY_JAVA_OPTIONS% jmercury.", ClassName, " %*\n"
- ]).
-
%-----------------------------------------------------------------------------%
get_mercury_std_libs_for_java(Globals, !:StdLibs) :-
@@ -781,77 +586,6 @@ get_env_classpath(Classpath, !IO) :-
)
).
-%-----------------------------------------------------------------------------%
-
-create_launcher_shell_script(ProgressStream, Globals, MainModuleName,
- ContentStr, Succeeded, !IO) :-
- Ext = ext_cur_gas(ext_cur_gas_exec_noext),
- % XXX LEGACY
- module_name_to_file_name_create_dirs(Globals, $pred, Ext,
- MainModuleName, LauncherFileName, _LauncherFileNameProposed, !IO),
-
- globals.lookup_bool_option(Globals, verbose, Verbose),
- maybe_write_string(ProgressStream, Verbose,
- "% Generating shell script `" ++ LauncherFileName ++ "'...\n", !IO),
-
- % Remove symlink in the way, if any.
- io.file.remove_file(LauncherFileName, _, !IO),
- io.open_output(LauncherFileName, OpenResult, !IO),
- (
- OpenResult = ok(Stream),
- io.write_string(Stream, ContentStr, !IO),
- io.close_output(Stream, !IO),
- io.call_system.call_system("chmod a+x " ++ LauncherFileName,
- ChmodResult, !IO),
- (
- ChmodResult = ok(Status),
- ( if Status = 0 then
- Succeeded = succeeded,
- maybe_write_string(ProgressStream, Verbose, "% done.\n", !IO)
- else
- unexpected($pred, "chmod exit status != 0"),
- Succeeded = did_not_succeed
- )
- ;
- ChmodResult = error(Message),
- unexpected($pred, io.error_message(Message)),
- Succeeded = did_not_succeed
- )
- ;
- OpenResult = error(Message),
- unexpected($pred, io.error_message(Message)),
- Succeeded = did_not_succeed
- ).
-
-:- pred create_launcher_batch_file(io.text_output_stream::in,
- globals::in, module_name::in, string::in, maybe_succeeded::out,
- io::di, io::uo) is det.
-
-create_launcher_batch_file(ProgressStream, Globals, MainModuleName,
- ContentStr, Succeeded, !IO) :-
- % XXX LEGACY
- module_name_to_file_name_create_dirs(Globals, $pred,
- ext_cur_gas(ext_cur_gas_exec_bat), MainModuleName,
- FileName, _FileNameProposed, !IO),
-
- globals.lookup_bool_option(Globals, verbose, Verbose),
- maybe_write_string(ProgressStream, Verbose,
- "% Generating batch file `" ++ FileName ++ "'...\n", !IO),
-
- % Remove an existing batch file of the same name, if any.
- io.file.remove_file(FileName, _, !IO),
- io.open_output(FileName, OpenResult, !IO),
- (
- OpenResult = ok(Stream),
- io.write_string(Stream, ContentStr, !IO),
- io.close_output(Stream, !IO),
- Succeeded = succeeded
- ;
- OpenResult = error(Message),
- unexpected($pred, io.error_message(Message)),
- Succeeded = did_not_succeed
- ).
-
%-----------------------------------------------------------------------------%
:- end_module parse_tree.module_cmds.
%-----------------------------------------------------------------------------%
diff --git a/compiler/notes/compiler_design.html b/compiler/notes/compiler_design.html
index b43ce3e6d..8138d9705 100644
--- a/compiler/notes/compiler_design.html
+++ b/compiler/notes/compiler_design.html
@@ -2643,6 +2643,9 @@ process_util.m contains predicates
that deal with process creation and signal handling.
This module is mainly used by make.m and its submodules.
+create_launcher.m contains code to help create launcher scripts
+for the Java and C# backends.
+
shell_util.m contains a utility function
for quoting arguments to shell commands.
diff --git a/compiler/write_deps_file.m b/compiler/write_deps_file.m
index b5459d0c4..f2329ee2d 100644
--- a/compiler/write_deps_file.m
+++ b/compiler/write_deps_file.m
@@ -111,6 +111,8 @@
:- implementation.
+:- import_module backend_libs.
+:- import_module backend_libs.create_launchers.
:- import_module libs.file_util.
:- import_module libs.mmakefiles.
:- import_module libs.options.
@@ -119,7 +121,6 @@
:- import_module parse_tree.file_names.
:- import_module parse_tree.make_module_file_names.
:- import_module parse_tree.maybe_error.
-:- import_module parse_tree.module_cmds.
:- import_module parse_tree.parse_error.
:- import_module parse_tree.prog_parse_tree.