moja-global/FLINT

Error in installing FLINT

Closed this issue · 5 comments

Mohitkumar6122 commented

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.
image

Operating Environment:

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

Additional context
Add any other context about the problem here.

waridrox commented

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.
image

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.

Command_Prompt_on_Windows_10_RTM

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 :)

  • 👍1
  • 🎉1
Mohitkumar6122 commented

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.
image
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.

Command_Prompt_on_Windows_10_RTM

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.

  • 👍1
Mohitkumar6122 commented

@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.

Here

But I am getting this in my Setup


Here

waridrox commented

@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.

  • 🎉1
Mohitkumar6122 commented

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

  • 😄1