You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
ea3c90439a
Use Switches rather than Default_Switches (which has been obsolete for a while now). In shared.gpr, add support for enabling link-time-optimization and removal of unused subprograms. This is not supported on Windows for now. Add a new OS for "osx", since the linker switches are different. OA15-011 (1/2) Change-Id: I72371631eefd18cf88442c969c805e0258f4ba6e
Before using this example, you need to do the following modifications in the script called my_ssh: - set the value of the local_dir variable to the root project dir on your local machine. Note that the directory must be exactly the same as the one used by GPS when it invokes gnatmake - set the value of the remote_dir variable to the root project dir on your remote machine In GPS, you need to set the field "Project -> Edit Project Properties -> General -> Tools Host" to your remote machine name and the "Edit -> Preferences -> External Command -> Remote Shell" field to "bash /directory/my_ssh".