eth-sri / ELINA

ELINA: ETH LIbrary for Numerical Analysis
http://elina.ethz.ch/
Other
129 stars 54 forks source link

Missing MPFR_LIB_FLAG and GMP_LIB_FLAG in Makefile #91

Closed caballa closed 2 years ago

caballa commented 2 years ago

This is the patch

--- a/elina_auxiliary/Makefile
+++ b/elina_auxiliary/Makefile
@@ -32,7 +32,7 @@ OBJS = elina_scalar.o elina_interval.o elina_coeff.o elina_dimension.o elina_lin

 INCLUDES = $(MPFR_INCLUDE_FLAG) $(GMP_INCLUDE_FLAG) -I../elina_linearize

-LIBS = -lmpfr -lgmp -lm -L../elina_linearize
+LIBS = $(MPFR_LIB_FLAG) -lmpfr $(GMP_LIB_FLAG) -lgmp -lm -L../elina_linearize

 INSTALL = install
 INSTALLd = install -d
GgnDpSngh commented 2 years ago

Hi Jorge,

Thanks for pointing it out. I have added the suggested patch. Please let me know if it works!

Cheers, Gagandeep Singh

caballa commented 2 years ago

it works thanks!