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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
Prerequisites
=============
The current version of `msolve` does not support 32 bit architectures.
If you are working with the git repository OR the *tar.gz from github
=====================================================================
NOTE: You need to have autotools installed on your system.
1. Run `./autogen.sh` which generates configure and the Makefiles.
2. Run `./configure` (possibly with options, see `./configure -h` for
more information).
3. Run `make` (possibly with CFLAGS and LDFLAGS adjusted).
4. Run `make check`.
5. Run `make install` in order to globally install the library and the binary
of msolve.
If you are working on a distribution, e.g. the PRECONFIGURED *.tar.gz from
msolve.lip6.fr (note this *.tar.gz differs from the unconfigured one provided
via github releases)
==========================================================
1. Run `./configure` (possibly with options, see `./configure --help` for more
information).
2. Run `make` (possibly with CFLAGS and LDFLAGS adjusted).
3. Run `make check`.
4. Run `make install` in order to globally install the library and the binary
of msolve.
Note to macOS users
===================
On macOS, we recommend building msolve with LLVM Clang rather than Apple Clang,
as LLVM Clang provides better OpenMP support. You can install LLVM Clang and
the required dependencies with Homebrew:
```shell
brew install autoconf automake flint gmp libomp libtool llvm mpfr
```
Before building as described above, make sure to set these environment
variables so the build uses the correct compiler and flags:
```shell
export CC="$(brew --prefix llvm)/bin/clang"
export CFLAGS="-I$(brew --prefix)/include -I$(brew --prefix libomp)/include"
export LDFLAGS="-L$(brew --prefix)/lib -L$(brew --prefix libomp)/lib"
```
If you choose to use Apple Clang while linking against Homebrew's `libomp`
(note that this setup is not officially supported), set the environment
variables as follows:
```shell
export CC="/usr/bin/clang"
export CFLAGS="-I$(brew --prefix)/include -I$(brew --prefix libomp)/include"
export CPPFLAGS="-Xpreprocessor -fopenmp"
export LDFLAGS="-L$(brew --prefix)/lib -L$(brew --prefix libomp)/lib -lomp"
```
For other compiler toolchains, such as GCC, make sure only one OpenMP runtime
is linked. You can verify this with
```shell
otool -L path/to/libmsolve.dylib
```
If both `libomp` (LLVM's OpenMP runtime) and `libgomp` (GCC's OpenMP runtime)
are listed, rebuild with a consistent toolchain and matching linker flags.
If you want to generate a distribution
======================================
Run `make dist`.
If you want to generate a static binary
=======================================
Add `-all-static` to your LDFLAGS as follows `make LDFLAGS="-all-static"`.
|
