Error in installing FLINT about flint

[waridrox]

Describe the bug
A clear and concise description of what the bug is.
During the installation of FLINT, when running the following command in Powershell

 cmake -G "Visual Studio 16 2019" -DCMAKE_INSTALL_PREFIX=C:/Development/Software/moja -DVCPKG_TARGET_TRIPLET=x64-windows -DENABLE_TESTS=OFF -DENABLE_MOJA.MODULES.ZIPPER=OFF -DCMAKE_TOOLCHAIN_FILE=c:\Development\moja-global\vcpkg\scripts\buildsystems\vcpkg.cmake ..

I am getting the error :

Parse error in command line argument: -DENABLE_MOJA
Should be: VAR:type=value
CMake Error: No cmake script provided.
CMake Error: Problem processing arguments. Aborting.

Expected behavior
The command should run and install the following FLINT.

Screenshots
If applicable, add screenshots to help explain your problem.

Operating Environment:

• Desktop : Acer Aspire A7-41G
• OS : Windows 10
• other

Additional context
Add any other context about the problem here.

@Mohitkumar6122 The CLI commands need to be executed in Windows command prompt as oppose to Windows powershell that you are using.

Also please make sure that you have installed all the pre-requisites first before executing this command -

• cmake
• visual studio
• vcpkg

as mentioned in the official docs.
If the problem is still not solved feel free to discuss them here :)

[Mohitkumar6122]

Describe the bug
A clear and concise description of what the bug is.
During the installation of FLINT, when running the following command in Powershell

 cmake -G "Visual Studio 16 2019" -DCMAKE_INSTALL_PREFIX=C:/Development/Software/moja -DVCPKG_TARGET_TRIPLET=x64-windows -DENABLE_TESTS=OFF -DENABLE_MOJA.MODULES.ZIPPER=OFF -DCMAKE_TOOLCHAIN_FILE=c:\Development\moja-global\vcpkg\scripts\buildsystems\vcpkg.cmake ..

I am getting the error :

Parse error in command line argument: -DENABLE_MOJA
Should be: VAR:type=value
CMake Error: No cmake script provided.
CMake Error: Problem processing arguments. Aborting.

Expected behavior
The command should run and install the following FLINT.
Screenshots
If applicable, add screenshots to help explain your problem.

Operating Environment:

• Desktop : Acer Aspire A7-41G
• OS : Windows 10
• other

Additional context
Add any other context about the problem here.

@Mohitkumar6122 The CLI commands need to be executed in Windows command prompt as oppose to Windows powershell that you are using.

Also please make sure that you have installed all the pre-requisites first before executing this command -

• cmake
• visual studio
• vcpkg

as mentioned in the official docs.
If the problem is still not solved feel free to discuss them here :)

Thanks a lot @waridrox! It is working now.

[waridrox]

@Mohitkumar6122 You have probably installed FLINT in the wrong directory and due to this the debugging setup is not able to recognise the path where FLINT and vcpkg libraries are installed. Either try to find the path where the above are installed and change the parameters accordingly or follow the link for the correct method of installation.

[Mohitkumar6122]

Again, Thanks a lot @waridrox for helping me out with the FLINT installation.

[Mohitkumar6122]

@waridrox.
Now I when start Visual Studio and open the Visual Studio Debugging All properties page, I am not getting anything inside it as mentioned in the following image.



But I am getting this in my Setup