search

tlaplus / tlapm

The TLA Proof Manager
https://proofs.tlapl.us/
BSD 2-Clause "Simplified" License
65 stars 20 forks source link

fix install location for ptl_to_trp #99

Closed damiendoligez closed 11 months ago

damiendoligez commented 11 months ago

ptl_to_trp is installed in .../bin but tlapm expects to find it in .../lib/tlapm/backends/bin.