This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # Harrison Turton 2018 | |
| # -------------------------------------- | |
| # This script will automatically detect your | |
| # operating system, and build accordingly. | |
| # | |
| # A build mode flag can be included, wherein | |
| # the script will supply the relevant build | |
| # mode flags to gnatmake. Defaults to |
NewerOlder