From 5dab28ab3fa4a9c84ecbb4eadd96df3f76aa5aa7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Berthomieu?= Date: Fri, 5 Apr 2024 11:57:51 +0200 Subject: [PATCH 1/2] corrects the command for static building on MAC OS --- INSTALL | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/INSTALL b/INSTALL index b38cad2b..a70d310a 100644 --- a/INSTALL +++ b/INSTALL @@ -9,9 +9,9 @@ You will need to have autotools installed on your system. 5. Run `make install` in order to globally install the library and the binary of msolve. -If you are working on a distriubtion (downloaded *.tar.gz) +If you are working on a distribution (downloaded *.tar.gz) ========================================================== -1. Run `./configure` (possibly with options, see ./configure -help for more +1. Run `./configure` (possibly with options, see `./configure -help` for more information). 2. Run `make` (possibly with CFLAGS and LDFLAGS adjusted). 3. Run `make check`. @@ -20,14 +20,14 @@ If you are working on a distriubtion (downloaded *.tar.gz) NOTE TO MAC OS users ==================== -To build a static binary file, you may need to run `./configure -static`. +To build a static binary file, you may need to run `./configure --enable-static`. You may also need to proceed slightly differently by modifying the `Makefile` file as follows - add to the `LIBS` variable the `-fopenmp` option ``` LIBS = -lflint -lmpfr -lgmp -lm -fopenmp ``` -- change the `CC` variable to your actual `gcc` compiler, e.g. +- change the `CC` variable to your actual `gcc` compiler, e.g. ``` CC = gcc-11 ``` From 6d1be3d6c0b49e0ffd03cd2a1b3ef6f070ea1610 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Berthomieu?= Date: Fri, 5 Apr 2024 11:58:19 +0200 Subject: [PATCH 2/2] adds link to the interfaces webpage --- doc/msolve-tutorial.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/msolve-tutorial.tex b/doc/msolve-tutorial.tex index 06ffc85b..58dbf903 100644 --- a/doc/msolve-tutorial.tex +++ b/doc/msolve-tutorial.tex @@ -1173,7 +1173,7 @@ \section{Julia interface to \msolve} \section{Maple interface to \msolve} The Maple interface to \msolve is a file interface which can be found on the -\msolve homepage or in the \msolve binary package. Having loaded the interface +\msolve \href{https://msolve.lip6.fr/interfaces/index.html}{homepage} or in the \msolve binary package. Having loaded the interface one can call the function \texttt{MSolveRealRoots()} in the following way:\\[1em] \texttt{results = MSolveRealRoots(F, vars)}\\[1em]