File: INSTALL

package info (click to toggle)
flint 2.5.2-19
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 30,308 kB
  • sloc: ansic: 289,367; cpp: 11,210; python: 1,280; sh: 649; makefile: 283
file content (26 lines) | stat: -rw-r--r-- 922 bytes parent folder | download | duplicates (6)
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
Instructions on intalling flint 2
---------------------------------

FLINT 2 follows a standard format for installation:

./configure
make
make check
make install

However, this assumes that MPIR and MPFR are already installed on your system in
/usr/local. If the libraries are not in this location you must specify where 
they are by passing their location to configure. It also assumes you wish to 
install FLINT 2 at the prefix /usr/local. If not you must pass the prefix (the
directory containing lib and include subdirectories into which FLINT will be
installed) to configure:

./configure --with-mpir=/home/user1/mpir-2.1.1/ --with-mpfr=/usr --prefix=/usr

Note that the FLINT configure system can handle MPIR/MPFR as installed (in lib
and include dirs) at some location, or as source builds (built from source and
not installed).

For further configure and make options, please refer to the FLINT 2
documentation.