13 Commits

Author SHA1 Message Date
Nicolas Setton
f74ecb0796 Merge pull request #7 from damaki/customizable-install
Add ability to select the components to install.
2019-11-13 16:11:23 -05:00
Daniel King
97a995b205 Add a missing quote 2019-11-13 20:48:56 +00:00
Daniel King
5e7050e2ab Describe installation customization 2019-09-15 12:51:08 +01:00
Daniel King
2f9fd261b9 Add script argument to specify components to install 2019-09-15 12:38:39 +01:00
Nicolas Setton
a5dbb0a7b8 Merge pull request #4 from reznikmm/master
Check if 'make' is installed,
2018-07-27 10:52:18 -04:00
Maxim Reznik
1aa258ef3c Update install_package.sh 2018-07-27 17:46:47 +03:00
Maxim Reznik
5c5402eee0 Check if 'make' is installed,
otherwise installer will hang silently.
2018-07-27 14:04:10 +03:00
Nicolas Setton
777e371916 Add license. 2018-07-05 17:57:31 +02:00
Nicolas Setton
68e25a53c4 Merge pull request #1 from AdaCore/topic/working_branch
Add script
2018-07-03 12:21:55 -04:00
Nicolas Setton
37438d57da Add Windows installer 2018-07-02 13:33:45 -04:00
Nicolas Setton
e1ccf5ab3a Add Linux installer 2018-07-02 13:12:15 -04:00
Nicolas Setton
2d4990ba60 Add script for Mac OS 2018-07-02 12:42:32 -04:00
Nicolas Setton
6f2e2ccf9e Add README.md 2018-07-02 10:38:02 -04:00