Update COMPILING

SRI-CSL · Sep 23, 2023 · 0dcd12f · 0dcd12f
1 parent 24aced2
commit 0dcd12f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/COMPILING b/doc/COMPILING
@@ -637,7 +637,7 @@ dynamic and static libraries in different locations:
 
    to GMP's configure script.  This will build
 
-       /tools/static_gmp/lib/libgmp.a
+       /tools/static_gmp/lib/libgmp.dll.a
 
    and the corresponding 'gmp.h' will be in /tools/static_gmp/include.
 
@@ -647,7 +647,7 @@ configure script so that it can find 'libgmp.a' in its nonstandard
 location and the corresponding 'gmp.h'. The best way to do this is
 to configure Yices using:
 
-    ./configure --with-static-gmp=/tools/static_gmp/lib/libgmp.a \
+    ./configure --with-static-gmp=/tools/static_gmp/lib/libgmp.dll.a \
                 --with-static-gmp-include-dir=/tools/static_gmp/include