Updated Makedfile with the flies suggested by Jorge Navas

eth-sri · May 4, 2022 · b1a02bb · b1a02bb
1 parent 364e15d
commit b1a02bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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