https://github.com/tomekw/ada-gnat

Docker: Ubuntu with GNAT installed
https://github.com/tomekw/ada-gnat

ada docker docker-image gnat

Last synced: 5 days ago
JSON representation

Docker: Ubuntu with GNAT installed

• Host: GitHub
• URL: https://github.com/tomekw/ada-gnat
• Owner: tomekw
• Created: 2016-04-19T11:48:57.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2022-09-09T14:20:32.000Z (over 2 years ago)
• Last Synced: 2024-11-09T09:40:51.188Z (2 months ago)
• Topics: ada, docker, docker-image, gnat
• Language: Dockerfile
• Homepage: https://hub.docker.com/r/tomekw/ada-gnat/
• Size: 3.91 KB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# ada-gnat

Debian with GNAT installed

## Usage

```

$ docker run --rm -v $(pwd)/src:/app tomekw/ada-gnat gnat --version

GNAT 12.2.0

Copyright (C) 1996-2022, Free Software Foundation, Inc.

This is free software; see the source for copying conditions.

There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

$ docker run --rm -v $(pwd)/src:/app tomekw/ada-gnat gnatmake hello_world.adb

x86_64-linux-gnu-gcc-12 -c hello_world.adb

x86_64-linux-gnu-gnatbind-12 -x hello_world.ali

x86_64-linux-gnu-gnatlink-12 hello_world.ali

$ docker run --rm -v $(pwd)/src:/app tomekw/ada-gnat ./hello_world

Hello, World!

```