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

Commit Graph

  • 949442a930 Merge branch 'gh-5-doc-performance-issues-mac-os' into 'master' master Léo Germond 2023-08-01 13:53:06 +00:00
  • 7418aca07e doc(README): Add section about performance issues on macOS Quentin Dauprat 2023-04-24 12:22:17 +02:00
  • 61cb649dc2 Merge branch 'gh-4-fix-gnat-version-inference' into 'master' Léo Germond 2023-08-01 13:34:01 +00:00
  • a4e81d3420 fix: fix gnat version inference Quentin Dauprat 2023-04-24 11:59:49 +02:00
  • ea95b0552c Added Dockerfile for libadalang topic/Add-libadalang-Dockerfile Rowan Walshe 2022-02-08 17:08:34 +00:00
  • 4f05e0f7f6 [U701-031] add vim to edit text on the container Léo Germond 2021-07-01 15:05:49 +02:00
  • 360f51a8da Style fix PEP8 Léo Germond 2021-01-29 16:58:48 +01:00
  • b9ddd99a5d Import from older github repo no-tn-check no-precommit-check Léo Germond 2021-01-29 16:50:39 +01:00
  • 45ec3362ab gnat-src is confusing -> gnat_package github/pull/history Léo Germond 2021-01-20 12:23:20 +01:00
  • 0726d5d2ee typo in script message Léo Germond 2021-01-19 17:36:55 +01:00
  • 2f5f958b55 rename doinstall -> create_image Léo Germond 2021-01-15 17:18:33 +01:00
  • ca085c1aea doinstall: gnat_release -> gnatpro_release Léo Germond 2021-01-14 14:41:52 +01:00
  • 7cd6fd7d2b Add newline Léo Germond 2021-01-11 14:33:56 +01:00
  • e420ce44e2 Added file extension to bash script, so that .gitattributes file would apply proper line endings to it. unknown 2021-01-08 10:50:18 -06:00
  • 7f00af45e8 Added a .gitattributes file to force line endings in bash scripts to use LF. unknown 2021-01-08 10:24:46 -06:00
  • faf9e2a55e Copy file for Docker build only if necessary Léo Germond 2020-12-10 14:47:31 +01:00
  • 4e4a4e0298 Fix GNAT Pro naming Léo Germond 2020-11-17 18:14:38 +01:00
  • c38afd8a47 GPLv3 Léo Germond 2020-11-17 10:36:54 +01:00
  • ec400f378d Add instruction to start shell at end of install Léo Germond 2020-10-30 17:44:50 +01:00
  • 655dffd929 Docker warning empty cont line Léo Germond 2020-10-30 17:44:32 +01:00
  • c727cfd0a6 Update README for sudo issues Léo Germond 2020-10-29 20:04:43 +01:00
  • 013286f4a8 reduce gnatpro size by rm some share/ content Léo Germond 2020-10-28 17:20:49 +01:00
  • d9b1c1def9 gnatpro:deps reduce size Léo Germond 2020-10-28 17:19:20 +01:00
  • bc563271f8 python3 install script Léo Germond 2020-10-28 17:17:11 +01:00
  • f1a2c44b52 Clearer README and doinstall Léo Germond 2020-10-28 14:33:12 +01:00
  • 59a6687a57 Ignore archives Léo Germond 2020-10-28 14:00:37 +01:00
  • e54e7480c4 Add README.md and doinstall script Léo Germond 2020-10-28 13:40:14 +01:00
  • 4fc545fa2c gnatpro docker image with GNAT pro integrated install Léo Germond 2020-10-27 20:04:49 +01:00
  • b4ab92d512 gnatpro-deps docker image with basic gnat deps Léo Germond 2020-10-27 20:04:14 +01:00
  • 5bccd5ed16 Initial empty repository Joel Dias Marques 2020-11-05 15:33:29 +01:00