Main Lemma Repository
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

WindowsBuild.bat 181B

1234
  1. REM If you want to avoid using Visual Studio, you can build using the .proj
  2. REM files within CMAKE as follows.
  3. cmake --build . --config=Release
  4. cmake --install . --config=Release