doc update

benEnsta · Apr 3, 2020 · afbdaae · afbdaae
1 parent 6e94747
commit afbdaae
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/install-cmake.rst b/doc/install-cmake.rst
@@ -150,6 +150,8 @@ MATHLIB_DIR             Ex: ``-DINTERVAL_LIB=goal -DMATHLIB_DIR=$HOME/matlib``
                         Note that the plugin archive embeds a version of Gaol so it is not necessary to have 
                         Goal already installed on your system. Default value is "" (means: use embedded version).
 
+                        Only to be used with ``-DINTERVAL_LIB=goal``.
+
 FILIB_DIR               Ex: ``-DINTERVAL_LIB=filib -DFILIB_DIR=$HOME/filib``
 
                         Set the path of Filib when using Ibex with your own version of Filib.