From 280dca1bf03a688b78b17d5c1cd41f857720bd8f Mon Sep 17 00:00:00 2001 From: Vlad Gheorghiu Date: Fri, 1 Dec 2023 10:44:23 -0500 Subject: [PATCH] Update INSTALL.md --- INSTALL.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL.md b/INSTALL.md index c14f446..3d0ccef 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -147,7 +147,7 @@ git clone https://github.com/Microsoft/vcpkg.git Next, install pkgconf and GNU MP by executing ```shell -vcpkg install pkgconf:x64-windows gmp:x64-windows +.\vcpkg\vcpkg install pkgconf:x64-windows gmp:x64-windows ``` Finally, configure the system with the additional flag