Help installing flint in conda virtual environment

46 views
Skip to first unread message

Malte Titze

unread,
Jan 28, 2024, 11:53:35 AMJan 28
to flint-devel
Hi all,

sorry to ask -- maybe this is the wrong place, but perhaps someone could help me out: I am trying to install flint into a conda virtual environment.

For this I have installed the following packages:
conda install conda-forge::gmp mpfr libtool gcc automake autoconf

After bootstrap the configure shell tells me that the gmp.h can not be found. Perhaps there is a solution for this problem? (bootstrap tells me it can't use automake for some reason btw).

Cheers
Malte

Albin Ahlbäck

unread,
Jan 28, 2024, 1:11:33 PMJan 28
to flint...@googlegroups.com
Hello Malte,

Please send me config.log so that I can see what the log says.

Best,
Albin

--

---
You received this message because you are subscribed to the Google Groups "flint-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to flint-devel...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/flint-devel/a227e3d1-8c48-4cf2-9997-7c2581a091f2n%40googlegroups.com.

Malte Titze

unread,
Jan 29, 2024, 3:34:24 PMJan 29
to flint-devel
Ok so in the meantime the problem has been resolved.

I was just missing to add respective keywords to the configure.
The following should get the job done (just in case someone is stumbling upon a similar problem):

after bootstrap

./configure --disable-static --with-gmp=$CONDA_PREFIX/ --prefix=$CONDA_PREFIX --bindir=$CONDA_PREFIX/bin --libdir=$CONDA_PREFIX/lib --includedir=
$CONDA_PREFIX/include

Best regards and also many thanks, Albin, for the hint!
Malte
Reply all
Reply to author
Forward
0 new messages