ada/gnat-docker
0
0
Fork 0
mirror of https://github.com/AdaCore/gnat-docker.git synced 2026-02-12 13:09:34 -08:00
Code Issues Packages Projects Releases Wiki Activity
29 Commits 3 Branches 0 Tags
master
Commit Graph

29 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Léo Germond
949442a930 Merge branch 'gh-5-doc-performance-issues-mac-os' into 'master' 
Add doc section about performance issues on macOS

See merge request eng/devops/gnat-docker!2
 2023-08-01 13:53:06 +00:00
Quentin Dauprat
7418aca07e doc(README): Add section about performance issues on macOS 2023-08-01 13:50:57 +00:00
Léo Germond
61cb649dc2 Merge branch 'gh-4-fix-gnat-version-inference' into 'master' 
Fix GNAT version inference

See merge request eng/devops/gnat-docker!1
 2023-08-01 13:34:01 +00:00
Quentin Dauprat
a4e81d3420 fix: fix gnat version inference 
Fix #3
 2023-04-24 11:59:49 +02:00
Léo Germond
4f05e0f7f6 [U701-031] add vim to edit text on the container 
Change-Id: I34c3df49ebf15f13b475c0dd6466c71440e22a7e
 2021-07-01 15:24:52 +02:00
Léo Germond
360f51a8da Style fix PEP8 
Change-Id: I6f2baa37a2788f89e1e5bd0e57f15991ccb682a7
 2021-01-29 17:10:52 +01:00
Léo Germond
b9ddd99a5d Import from older github repo no-tn-check no-precommit-check 
Change-Id: I4d4a7686b0b2407bfadb1718e4751a22679c4a15
 2021-01-29 17:03:41 +01:00
Léo Germond
45ec3362ab gnat-src is confusing -> gnat_package 2021-01-29 11:15:51 +01:00
Léo Germond
0726d5d2ee typo in script message 2021-01-29 11:15:51 +01:00
Léo Germond
2f5f958b55 rename doinstall -> create_image 2021-01-29 11:15:51 +01:00
Léo Germond
ca085c1aea doinstall: gnat_release -> gnatpro_release 2021-01-29 11:15:51 +01:00
Léo Germond
7cd6fd7d2b Add newline 2021-01-29 11:15:51 +01:00
unknown
e420ce44e2 Added file extension to bash script, so that .gitattributes file would apply proper line endings to it. 2021-01-29 11:15:51 +01:00
unknown
7f00af45e8 Added a .gitattributes file to force line endings in bash scripts to use LF. 2021-01-29 11:15:51 +01:00
Léo Germond
faf9e2a55e Copy file for Docker build only if necessary 2021-01-29 11:15:51 +01:00
Léo Germond
4e4a4e0298 Fix GNAT Pro naming 2021-01-29 11:15:51 +01:00
Léo Germond
c38afd8a47 GPLv3 2021-01-29 11:15:51 +01:00
Léo Germond
ec400f378d Add instruction to start shell at end of install 2021-01-29 11:15:51 +01:00
Léo Germond
655dffd929 Docker warning empty cont line 2021-01-29 11:15:51 +01:00
Léo Germond
c727cfd0a6 Update README for sudo issues 2021-01-29 11:15:51 +01:00
Léo Germond
013286f4a8 reduce gnatpro size by rm some share/ content 2021-01-29 11:15:51 +01:00
Léo Germond
d9b1c1def9 gnatpro:deps reduce size 2021-01-29 11:15:51 +01:00
Léo Germond
bc563271f8 python3 install script 2021-01-29 11:15:51 +01:00
Léo Germond
f1a2c44b52 Clearer README and doinstall 2021-01-29 11:15:51 +01:00
Léo Germond
59a6687a57 Ignore archives 2021-01-29 11:15:51 +01:00