public
Last active

gnatmake on Ubuntu

  • Download Gist
.gitignore
1 2 3
hello
hello.ali
hello.o
README.md
Markdown
hello.adb
Ada
1 2 3 4 5
with Ada.Text_IO; use Ada.Text_IO;
procedure Hello is
begin
Put_Line("Hello, world\n");
end Hello;
log.txt
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
$ cat /etc/os-release
NAME="Ubuntu"
VERSION="12.10, Quantal Quetzal"
ID=ubuntu
ID_LIKE=debian
PRETTY_NAME="Ubuntu quantal (12.10)"
VERSION_ID="12.10"
$ cat hello.adb
with Ada.Text_IO; use Ada.Text_IO;
procedure Hello is
begin
Put_Line("Hello, world\n");
end Hello;
$ git add hello.adb
$ dpkg -l | grep gnat
ii gnat 4.6ubuntu1 i386 GNU Ada compiler
ii gnat-4.6 4.6.3-4ubuntu1 i386 GNU Ada compiler
ii gnat-4.6-base 4.6.3-4ubuntu1 i386 GNU Ada compiler (common files)
ii gnat-4.6-doc 4.6.3-4ubuntu1 all GNU Ada compiler (documentation)
ii gnat-doc 4.6ubuntu1 all Documentation for the GNU Ada compiler
ii gnat-gps 5.0-13 i386 integrated development environment for C and Ada
ii gnat-gps-common 5.0-13 all integrated development environment for C and Ada (common files)
ii gnat-gps-doc 5.0-13 all integrated development environment for C and Ada (documentation)
ii gpgv 1.4.11-3ubuntu4 i386 GNU privacy guard - signature verification tool
ii libgnat-4.6:i386 4.6.3-4ubuntu1 i386 runtime for applications compiled with GNAT (shared library)
ii libgnatprj4.6:i386 4.6.3-4ubuntu1 i386 GNU Ada compiler Project Manager (shared library)
ii libgnatvsn4.6:i386 4.6.3-4ubuntu1 i386 GNU Ada compiler selected components (shared library)
$ gnatmake -v hello
 
GNATMAKE 4.6
Copyright (C) 1995-2010, Free Software Foundation, Inc.
"hello.ali" being checked ...
-> "hello.ali" missing.
gcc-4.6 -c hello.adb
End of compilation
gnatbind -x hello.ali
gnatlink hello.ali
$ ./hello
Hello, world\n
$

Please sign in to comment on this gist.

Something went wrong with that request. Please try again.