mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
57acffa039
Add a new configure option, ---with-pkgversion, that allows those packaging
Mercury to include additional version information specific to their package in
the output of mmc --version etc.
Omit version and copyright information from the short usage messages for mmc, mprof
and mcov. The result is less cluttered and more direct.
Omit version information from the long usage (i.e. --help) message for the
above programs. This is to save space on the first line of the output and also
brings the man pages for mmc, mprof and mcov into line with the other man
pages, which do *not* have version information in their NAME section.
configure.ac:
Add the new --with-pkgversion option.
runtime/mercury_conf.h.in:
runtime/mercury_dotnet.cs.in:
java/runtime/Constants.java.in:
Define a constant for the package version.
library/library.m:
Add the function package_version/0, which returns the package
version string.
compiler/handle_options.m:
profiler/mercury_profile.m:
slice/mcov.m:
Include a non-empty package version in the output of --version.
Make the above changes to the short and long usage messages.
Add an XXX about mprof's short usage message.
20 lines
627 B
Java
20 lines
627 B
Java
// vim: ts=4 sw=4 expandtab ft=java
|
|
//
|
|
// @configure_input@
|
|
//
|
|
// Copyright (C) 2001-2004 The University of Melbourne.
|
|
// Copyright (C) 2018, 2023 The Mercury team.
|
|
// This file is distributed under the terms specified in COPYING.LIB.
|
|
//
|
|
// This class is used to store miscellaneous Mercury-related constants.
|
|
// At the moment it just stores the library version.
|
|
//
|
|
|
|
package jmercury.runtime;
|
|
|
|
public class Constants {
|
|
public static final java.lang.String MR_VERSION = "@VERSION@";
|
|
public static final java.lang.String MR_FULLARCH = "@FULLARCH@";
|
|
public static final java.lang.String MR_PKGVERSION = "@PACKAGE@";
|
|
}
|