forked from smlsharp/smlsharp
-
Notifications
You must be signed in to change notification settings - Fork 0
/
INSTALL
50 lines (32 loc) · 1.36 KB
/
INSTALL
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
Compiling and Installing SML#
== Requirements
The following softwares are required to build and install SML#:
* C/C++ compiler: GNU Compiler Collection or Clang.
* GNU make or BSD make
* GNU MP library
* LLVM 3.4
== Quick Start
$ ./configure
$ make
$ make install
Things will be installed under /usr/local/bin and /usr/local/lib/smlsharp.
== Configurations
If you meet some troubles caused by C compiler, rerun configure
to try to compile with another compiler.
$ ./configure CC=<C_COMPILER> CXX=<C++_COMPILER>
If some required libraries are installed in non-standard directory on your
system, you need to specify CPPFLAGS and LDFLAGS so that compiler can
find them. For example:
$ ./configure CPPFLAGS=-I/opt/pkg/include LDFLAGS=-L/opt/pkg/lib
You will see all build-time configurations by invoking configure with
--help option.
== Customizing install location
Run configure with --prefix option to specify where to install.
$ ./configure --prefix=<PREFIX>
If the --prefix option is omitted, /usr/local is assumed as PREFIX.
Things are installed in those locations:
<PREFIX>/bin/smlsharp SML# compiler
<PREFIX>/bin/smlformat SMLFormat
<PREFIX>/bin/smllex SML# variant of ML-lex
<PREFIX>/bin/smlyacc SML# variant of ML-yacc
<PREFIX>/lib/smlsharp/ Directory for libraries of SML#