mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 17:33:38 +00:00
Code Issues Projects Releases Wiki Activity

Implement library version for Java.

Browse Source 
Estimated hours taken: 2
Branches: main

Implement library version for Java.

library/library.m:
	Implement library__version in Java.

java/runtime/Constants.java.in:
	File from which Constants.java is to be generated, which is the source
	for a class to hold mercury-related constants, such as the library
	version.

configure.in:
	Added java/runtime/Constants.java to the list of files to generate.
This commit is contained in:
James Goddard
2004-01-20 23:02:24 +00:00
parent 42388bed17
commit 0ead7626cd
3 changed files with 26 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
java/runtime/Constants.java.in Normal file
View File

@@ -0,0 +1,15 @@
//
// Copyright (C) 2001-2004 The University of Melbourne.
// This file may only be copied under the terms of the GNU Library General
// Public License - see the file COPYING.LIB in the Mercury distribution.
//
// This class is used to store miscellaneous Mercury-related constants.
// At the moment it just stores the library version.
//
package mercury.runtime;
public class Constants {
public static final java.lang.String MR_VERSION = "@VERSION@";
public static final java.lang.String MR_FULLARCH = "@FULLARCH@";
}