forked from flintlib/flint
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Clarify that releases does not require Autotools
- Loading branch information
1 parent
9c44718
commit 32c036a
Showing
3 changed files
with
74 additions
and
48 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,60 @@ | ||
# Instructions on installing FLINT | ||
|
||
## Building from release | ||
|
||
If building FLINT from a release (such as a tarball), one needs the following: | ||
|
||
* GMP (https://gmplib.org/) | ||
* MPFR (https://mpfr.org/) | ||
* Either of the following build systems: | ||
* GNU Make | ||
* CMake (Only supported for Windows users) | ||
|
||
Moreover, if user intends to use FLINT's assembly code, user needs to have the | ||
M4 preprocessor installed. | ||
|
||
One can install GMP, MPFR and GNU Make on a Ubuntu system via | ||
|
||
apt install libgmp-dev libmpfr-dev make | ||
|
||
After this, FLINT should be ready to install, which can be done as follows: | ||
|
||
./configure | ||
make -j | ||
make install | ||
|
||
We also recommend that you run ``make check`` to check that the build was done | ||
correctly before installing. | ||
|
||
For a complete list of settings, write | ||
|
||
./configure --help | ||
|
||
An example of a custom configuration command would be | ||
|
||
./configure \ | ||
--enable-assert \ | ||
--disable-static \ | ||
--with-gmp-include=/home/user1/builds/includes/ \ | ||
--with-gmp-lib=/home/user1/builds/lib/ \ | ||
--with-mpfr=/usr \ | ||
--prefix=/home/user1/installations/ \ | ||
CC=clang \ | ||
CFLAGS="-Wall -O3 -march=alderlake" | ||
|
||
For more information, see the FLINT documentation. | ||
|
||
## Building from scratch | ||
|
||
When building from scratch, one needs to generate the configuration script. For | ||
this, the user also needs to install GNU Autotools, which on a Ubuntu system can | ||
be done via | ||
|
||
apt install autoconf libtool-bin | ||
|
||
After this, run | ||
|
||
./bootstrap.sh | ||
|
||
and FLINT should then be ready to be configured, built, checked and installed as | ||
described by the previous section. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters