Mercury-IntTypes

mercury_inttypes is a library that provides additional integer types for the Mercury programming language.

NOTE Since Mercury version 20.01 the functionality of this library has been part of the Mercury standard library.

LICENSE

mercury_inttypes is licensed under a simple 2-clause BSD style license. See the file COPYING for details.

Building this library in the Java grade requires Mercury rotd-2016-04-14 or later.

Check the values in the file Make.options to see if they agree with your system, then do:

$ make install

You can also override values in Make.options on the command line, for example

$ make INSTALL_PREFIX=/foo/bar install

causes the library to be installed in the directory /foo/bar.