![]() You may use -prefix option in order to prevent new one overwriting pre-installed GMP library. If you use a 64-bit system, you must specify ABI=32 to build a 32-bit version of GMP library. For further descriptions for installation of GMP, please consult the documents of GMP. If you use a 32-bit system, just do configure & make & make install. If you don't have installed 32-bit GMP library, build it first. If you have some trouble in Makefile, please let us know and use GNU tools for the time being. We have been writing Makefiles only with standard features so that SML# can be built on any UNIX like systems. POSIX compatible commands and tools A Bounce shell, make, sed and standard file commands are needed to build SML#. ISO C99 compiler Necessary to build SML# native runtime library. This version of SML# supports only 32-bit mode.Ĭ++ compiler (only for 0.60 series) Necessary to build SML# virtual machine. ![]() Both version 4 series and version 5 series are OK, but note that SML# requires 32-bit build. GNU MP Bignum Library Necessary to build SML# runtime system. Required version is SML/NJ 110.65 or above, or MLton-20100608 or above. Prerequisites SML/NJ or MLton Necessary to build SML# compiler and extra tools.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |