mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
d465fa53cb
Discussion of these changes can be found on the Mercury developers
mailing list archives from June 2018.
COPYING.LIB:
Add a special linking exception to the LGPL.
*:
Update references to COPYING.LIB.
Clean up some minor errors that have accumulated in copyright
messages.
61 lines
1.5 KiB
Java
61 lines
1.5 KiB
Java
//
|
|
// Copyright (C) 2014, 2016, 2018 The Mercury Team
|
|
// This file is distributed under the terms specified in COPYING.LIB.
|
|
//
|
|
|
|
package jmercury.runtime;
|
|
|
|
import java.util.List;
|
|
|
|
/**
|
|
* Process the MERCURY_OPTIONS environment variable.
|
|
*/
|
|
public class MercuryOptions {
|
|
|
|
private int num_processors;
|
|
|
|
/**
|
|
* Create a new MercuryOptions object.
|
|
* This constructor is package-private (no access declaration).
|
|
*/
|
|
MercuryOptions()
|
|
{
|
|
// Zero means autodetect
|
|
num_processors = 0;
|
|
}
|
|
|
|
public void process()
|
|
{
|
|
String options;
|
|
|
|
options = System.getenv("MERCURY_OPTIONS");
|
|
if (options != null) {
|
|
Getopt getopt = new Getopt(options);
|
|
List<String> args;
|
|
|
|
for (Getopt.Option option : getopt) {
|
|
if (option.optionIs("P")) {
|
|
num_processors = option.getValueInt();
|
|
} else {
|
|
System.err.println("Unrecognized option: " + option);
|
|
System.exit(1);
|
|
}
|
|
}
|
|
args = getopt.getArguments();
|
|
if (args.size() > 0) {
|
|
System.err.println(
|
|
"Error parsing MERCURY_OPTIONS environment variable,"
|
|
+ " unexpected: " + args.get(0));
|
|
}
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Get the number of processors in the machine.
|
|
*/
|
|
public int getNumProcessors() {
|
|
return num_processors;
|
|
}
|
|
|
|
}
|