INSTALL 1.38 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
If you are working with the git repository
==========================================
You will 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 install` in order to globally install the library and the binary
   of msolve.

If you are working on a distriubtion (downloaded *.tar.gz)
==========================================================
1. Run ./configure (possibly with options, see ./configure -h for more
   information).
2. Run `make` (possibly with CFLAGS and LDFLAGS adjusted).
3. Run `make install` in order to globally install the library and the binary
   of msolve.

Mohab Safey El Din's avatar
Mohab Safey El Din committed
19
20
21
22
23
24
25
26
27
28
29
30
31
NOTE TO MAC OS users
====================
You 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 
```
CC = gcc-11
```
since `gcc` seems to be linked to `clang`.

32
33
34
35
36
37
If you want to generate a distribution
======================================
Run `make dist`.

If you want to generate a static binary
=======================================
Mohab Safey El Din's avatar
Mohab Safey El Din committed
38
Add `-all-static` to your LDFLAGS as follows `make LDFLAGS="all-static"`.