Update GMP

SRI-CSL · Oct 3, 2023 · ef6ccf7 · ef6ccf7
1 parent 3945b3b
commit ef6ccf7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/GMP b/doc/GMP
@@ -387,6 +387,8 @@ different path from the dynamic GMP path):
      --prefix=.... \
      --disable-shared --build=i686-pc-cygwin
 
+Add the dynamic and static bin paths to the PATH env variable.
+
 
 UPDATE (2012/02/15)