Closed jbellik closed 3 years ago
@nkalivoda , @maxTarlov : I believe everything is still working based on my many tests and fixes as I went along, but in the absence of systematic automated testing, it would be helpful to have you both try out some things in case you run into any issues i missed.
I will fix the other build scripts eventually before merging this pull request.
testBuild.sh and build.bat have not been updated yet, however!
Closes #512