goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
5 stars 3 forks source link

Improve cross compilation #47

Closed FeldrinH closed 1 year ago

FeldrinH commented 1 year ago

This PR improves cross compilation of the project. Cross compiling is desireable, because on Windows IntelliJ and some other IDE-s are very flaky when trying to edit a project in the WSL filesystem.

Changes:

FeldrinH commented 1 year ago

I tried to move the environment-specific paths into a .env file. It works on my computer, but I am not very good with shell scripting, so it might do something weird with different setups.

karoliineh commented 1 year ago

I tried to move the environment-specific paths into a .env file. It works on my computer, but I am not very good with shell scripting, so it might do something weird with different setups.

Works for me, though.

FeldrinH commented 1 year ago

Done. I added all .sh and .bat scripts to .vscodeignore