-
Notifications
You must be signed in to change notification settings - Fork 32
Expand file tree
/
Copy pathINSTALL
More file actions
57 lines (36 loc) · 1.55 KB
/
INSTALL
File metadata and controls
57 lines (36 loc) · 1.55 KB
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
51
52
53
54
55
56
57
Compiling and Installing SML#
== Requirements
The following softwares are required to build and install SML#:
* C/C++ compiler: GCC (4.7 or above) or Clang
* GNU make or BSD make
* LLVM 3.7.1
* GNU MP library
* YAJL (2.0.0 or above)
== 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 LLVM are not installed in a non-standard directory on your system,
specify the directory by --with-llvm option. For example:
$ ./configure --with-llvm=/usr/local/lib/llvm-3.7.1
If other required libraries are in a non-standard directory, 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 configuration options by invoking configure with
--help option.
$ ./configure --help
== 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#