diff options
Diffstat (limited to 'cpukit/Makefile.am')
| -rw-r--r-- | cpukit/Makefile.am | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/cpukit/Makefile.am b/cpukit/Makefile.am index a64807bc8c..8057bd0aee 100644 --- a/cpukit/Makefile.am +++ b/cpukit/Makefile.am @@ -478,6 +478,13 @@ libcpukit_a_SOURCES += libdrvmgr/drvmgr_unregister.c endif +if LIBGNAT + +libcpukit_a_SOURCES += libgnat/ada_intrsupp.c +libcpukit_a_SOURCES += libgnat/adasupp.c + +endif + # # Create a new Version VC Key header if the VC state has changed. # @@ -518,7 +525,6 @@ _SUBDIRS += libpci _SUBDIRS += libi2c _SUBDIRS += libmisc _SUBDIRS += libmd -_SUBDIRS += libgnat _SUBDIRS += libstdthreads _SUBDIRS += wrapup |