addshore
06/10/2025, 1:50 PMfloitsch
06/10/2025, 1:58 PMjag pkg installfloitsch
06/10/2025, 2:00 PMmake should do that for you.floitsch
06/10/2025, 2:00 PMfloitsch
06/10/2025, 2:00 PMfloitsch
06/10/2025, 2:01 PMfloitsch
06/10/2025, 2:01 PMfloitsch
06/10/2025, 2:02 PMjag executable, I wouldn't set the JAG_TOIT_REPO_PATH, and just make jagfloitsch
06/10/2025, 2:02 PMJAG_TOIT_REPO_PATH, then I would just run make esp32 in that repository first.addshore
06/10/2025, 2:02 PMfloitsch
06/10/2025, 2:03 PMJAG_TOIT_REPO_PATH is primarly when you want to test a new envelope.addshore
06/10/2025, 2:03 PM~/dev/github/toitlang/jaguar (main) make jag
make: Nothing to be done for 'jag'.floitsch
06/10/2025, 2:03 PMfloitsch
06/10/2025, 2:03 PMfloitsch
06/10/2025, 2:03 PMbuild/jag should already have your changes in it.