codebase:devenv

Setting up the development environment

For eclipse, you can follow directions here: https://github.com/tlaplus/tlaplus/tree/master/general/ide

For intellij, if you plan to contribute to tlc, it’s fine to just open the relevant package from there. To build and run tests, you can use the cli.

  • codebase/devenv.txt
  • Last modified: 2024/09/29 00:55
  • by fponzi