1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
ASIS-for-GNAT
This ASIS-for-GNAT 2005 GPL Edition, released on 2005-09-14 together
with GNAT GPL 2005 Edition. It also compiles and works fine with GCC
4.1.1, provided you disable assertions (i.e. do not compile with
-gnata), due to changes in sinfo.adb from GNAT GPL 2005 Edition to GCC
4.1. sinfo.adb is part of libgnatvsn4.1.
ASIS-for-GNAT 2006, released together with GNAT GPL 2006, builds but
is not compatible with GCC 4.1, due to more changes in sinfo.adb from
GCC 4.1 to GNAT GPL 2006 Edition that affect the tree files and not
just the assertions.
That is why Debian includes ASIS 2005 but not (yet) ASIS 2006.
|
