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
|
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 MAC OS users
====================
To build a static binary file, you may need to run `./configure --enable-static`.
You may also need to proceed slightly differently by modifying the `Makefile` file as follows
- add to the `LIBS` variable the `-fopenmp` option
```
LIBS = -lflint -lmpfr -lgmp -lm -fopenmp
```
- change the `CC` variable to your actual `gcc` compiler, e.g.
```
CC = gcc-15
```
since by default `gcc` on MacOS is linked to `clang`.
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"`.
|
