Test ran at 2025-02-20 12:45:56.959329+00:00 SOLUTION: cheddar=3.3.0: Cheddar is a real time scheduling analysis tool. Origin: source archive Cheddar-3.3-src.tar.gz at http://beru.univ-brest.fr/svn/CHEDDAR/releases/Cheddar-3.3-src.tar.gz with hash sha256:aea10b3cf91eec749b09d3c22ba2a97c4d8a1360ef0d95efb7349c0121cb4a16 Properties: Post_Fetch run: bash -c -x sed -i.bak -e/CHEDDAR_DIR/s/.src// -es/required_packages[a-z/]*// '-e/^end/s@^@package Install is for Artifacts (".") use ("../graphical_editor/glade_files"); end Install;@' gpr/*.gpr (from ${CRATE_ROOT}/.) Post_Fetch run: sed -i.bk2 -e1s/^/with "gtkada";with "ocarina-config"; with "xmlada";/ gpr/cheddar.gpr (from ${CRATE_ROOT}/.) Author: Lab-STICC Configuration: no modifiers Description: Cheddar is a real time scheduling analysis tool. Environment: CHEDDAR_DIR=${CRATE_ROOT} Environment: CHEDDAR_INSTALL_PATH=${CRATE_ROOT}/graphical_editor/ Executable: cheddar License: GPL-3.0-only Long_Description: To run cheddar you should set CHEDDAR_INSTALL_PATH or change current working directory to the crate root. Maintainer: Maxim Reznik Maintainers_Logins: reznikmm Name: cheddar Project_File: gpr/cheddar.gpr Tag: realtime Tag: model Tag: simulator Tag: analyzer Version: 3.3.0 Website: http://beru.univ-brest.fr/cheddar Dependencies (direct): gtkada* ocarina_lib=1.1.0-20070603 xmlada* Dependencies (solution): gnat=13.2.2 (gnat_native) gtkada=25.0.1 libgtk3=3.24.41 make=4.3.0 ocarina_lib=1.1.0-20070603 pkg_config=1.8.1 xmlada=25.0.0 Dependencies (graph): cheddar=3.3.0 --> gtkada=25.0.1 (*) cheddar=3.3.0 --> ocarina_lib=1.1.0-20070603 (=1.1.0-20070603) cheddar=3.3.0 --> xmlada=25.0.0 (*) gtkada=25.0.1 --> libgtk3=3.24.41 (>=3.24.24) gtkada=25.0.1 --> make=4.3.0 (*) gtkada=25.0.1 --> pkg_config=1.8.1 (*) xmlada=25.0.0 --> gnat=13.2.2 (gnat_native) (>=11) LOG: Spawning: alr -d -n get --build cheddar=3.3.0 Note: Deploying cheddar=3.3.0... #=#=# ##O#-# ##O=# # #=#=-# # -#O#- # # 0.0% 0.0% 0.1% 0.1% 0.2% 0.5% 0.9% # 1.8% ## 3.6% #### 6.5% ###### 9.4% ######## 12.2% ########## 15.0% ############ 17.9% ############## 20.8% ################ 23.5% ################### 26.4% ##################### 29.3% ####################### 32.1% ######################### 35.0% ########################### 37.9% ############################# 40.8% ############################### 43.7% ################################# 46.5% ################################### 49.4% ##################################### 52.2% ####################################### 55.1% ######################################### 57.9% ########################################### 60.8% ############################################# 63.6% ############################################### 66.5% ################################################# 69.4% #################################################### 72.3% ###################################################### 75.2% ######################################################## 78.0% ########################################################## 80.9% ############################################################ 83.7% ############################################################## 86.5% ################################################################ 89.3% ################################################################## 92.2% #################################################################### 95.1% ###################################################################### 98.0% ######################################################################## 100.0% Note: Deploying libgtk3=3.24.41... The system package 'libgtk-3-dev' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes Selecting previously unselected package bzip2-doc. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 221431 files and directories currently installed.) Preparing to unpack .../00-bzip2-doc_1.0.8-5.1build0.1_all.deb ... Unpacking bzip2-doc (1.0.8-5.1build0.1) ... Selecting previously unselected package gir1.2-atk-1.0:amd64. Preparing to unpack .../01-gir1.2-atk-1.0_2.52.0-1build1_amd64.deb ... Unpacking gir1.2-atk-1.0:amd64 (2.52.0-1build1) ... Selecting previously unselected package gir1.2-freedesktop:amd64. Preparing to unpack .../02-gir1.2-freedesktop_1.80.1-1_amd64.deb ... Unpacking gir1.2-freedesktop:amd64 (1.80.1-1) ... Selecting previously unselected package gir1.2-atspi-2.0:amd64. Preparing to unpack .../03-gir1.2-atspi-2.0_2.52.0-1build1_amd64.deb ... Unpacking gir1.2-atspi-2.0:amd64 (2.52.0-1build1) ... Selecting previously unselected package gir1.2-glib-2.0-dev:amd64. Preparing to unpack .../04-gir1.2-glib-2.0-dev_2.80.0-6ubuntu3.2_amd64.deb ... Unpacking gir1.2-glib-2.0-dev:amd64 (2.80.0-6ubuntu3.2) ... Selecting previously unselected package gir1.2-freedesktop-dev:amd64. Preparing to unpack .../05-gir1.2-freedesktop-dev_1.80.1-1_amd64.deb ... Unpacking gir1.2-freedesktop-dev:amd64 (1.80.1-1) ... Selecting previously unselected package gir1.2-gdkpixbuf-2.0:amd64. Preparing to unpack .../06-gir1.2-gdkpixbuf-2.0_2.42.10+dfsg-3ubuntu3.1_amd64.deb ... Unpacking gir1.2-gdkpixbuf-2.0:amd64 (2.42.10+dfsg-3ubuntu3.1) ... Selecting previously unselected package libharfbuzz-gobject0:amd64. Preparing to unpack .../07-libharfbuzz-gobject0_8.3.0-2build2_amd64.deb ... Unpacking libharfbuzz-gobject0:amd64 (8.3.0-2build2) ... Selecting previously unselected package gir1.2-harfbuzz-0.0:amd64. Preparing to unpack .../08-gir1.2-harfbuzz-0.0_8.3.0-2build2_amd64.deb ... Unpacking gir1.2-harfbuzz-0.0:amd64 (8.3.0-2build2) ... Selecting previously unselected package libpangoxft-1.0-0:amd64. Preparing to unpack .../09-libpangoxft-1.0-0_1.52.1+ds-1build1_amd64.deb ... Unpacking libpangoxft-1.0-0:amd64 (1.52.1+ds-1build1) ... Selecting previously unselected package gir1.2-pango-1.0:amd64. Preparing to unpack .../10-gir1.2-pango-1.0_1.52.1+ds-1build1_amd64.deb ... Unpacking gir1.2-pango-1.0:amd64 (1.52.1+ds-1build1) ... Selecting previously unselected package gir1.2-gtk-3.0:amd64. Preparing to unpack .../11-gir1.2-gtk-3.0_3.24.41-4ubuntu1.2_amd64.deb ... Unpacking gir1.2-gtk-3.0:amd64 (3.24.41-4ubuntu1.2) ... Selecting previously unselected package libglib2.0-dev-bin. Preparing to unpack .../12-libglib2.0-dev-bin_2.80.0-6ubuntu3.2_amd64.deb ... Unpacking libglib2.0-dev-bin (2.80.0-6ubuntu3.2) ... Selecting previously unselected package uuid-dev:amd64. Preparing to unpack .../13-uuid-dev_2.39.3-9ubuntu6.2_amd64.deb ... Unpacking uuid-dev:amd64 (2.39.3-9ubuntu6.2) ... Selecting previously unselected package libblkid-dev:amd64. Preparing to unpack .../14-libblkid-dev_2.39.3-9ubuntu6.2_amd64.deb ... Unpacking libblkid-dev:amd64 (2.39.3-9ubuntu6.2) ... Selecting previously unselected package libsepol-dev:amd64. Preparing to unpack .../15-libsepol-dev_3.5-2build1_amd64.deb ... Unpacking libsepol-dev:amd64 (3.5-2build1) ... Selecting previously unselected package libselinux1-dev:amd64. Preparing to unpack .../16-libselinux1-dev_3.5-2ubuntu2.1_amd64.deb ... Unpacking libselinux1-dev:amd64 (3.5-2ubuntu2.1) ... Selecting previously unselected package libmount-dev:amd64. Preparing to unpack .../17-libmount-dev_2.39.3-9ubuntu6.2_amd64.deb ... Unpacking libmount-dev:amd64 (2.39.3-9ubuntu6.2) ... Selecting previously unselected package libgirepository-2.0-0:amd64. Preparing to unpack .../18-libgirepository-2.0-0_2.80.0-6ubuntu3.2_amd64.deb ... Unpacking libgirepository-2.0-0:amd64 (2.80.0-6ubuntu3.2) ... Selecting previously unselected package libglib2.0-dev:amd64. Preparing to unpack .../19-libglib2.0-dev_2.80.0-6ubuntu3.2_amd64.deb ... Unpacking libglib2.0-dev:amd64 (2.80.0-6ubuntu3.2) ... Selecting previously unselected package libatk1.0-dev:amd64. Preparing to unpack .../20-libatk1.0-dev_2.52.0-1build1_amd64.deb ... Unpacking libatk1.0-dev:amd64 (2.52.0-1build1) ... Selecting previously unselected package libdbus-1-dev:amd64. Preparing to unpack .../21-libdbus-1-dev_1.14.10-4ubuntu4.1_amd64.deb ... Unpacking libdbus-1-dev:amd64 (1.14.10-4ubuntu4.1) ... Selecting previously unselected package libxext-dev:amd64. Preparing to unpack .../22-libxext-dev_2%3a1.3.4-1build2_amd64.deb ... Unpacking libxext-dev:amd64 (2:1.3.4-1build2) ... Selecting previously unselected package libxfixes-dev:amd64. Preparing to unpack .../23-libxfixes-dev_1%3a6.0.0-2build1_amd64.deb ... Unpacking libxfixes-dev:amd64 (1:6.0.0-2build1) ... Selecting previously unselected package libxi-dev:amd64. Preparing to unpack .../24-libxi-dev_2%3a1.8.1-1build1_amd64.deb ... Unpacking libxi-dev:amd64 (2:1.8.1-1build1) ... Selecting previously unselected package libxtst-dev:amd64. Preparing to unpack .../25-libxtst-dev_2%3a1.2.3-1.1build1_amd64.deb ... Unpacking libxtst-dev:amd64 (2:1.2.3-1.1build1) ... Selecting previously unselected package libatspi2.0-dev:amd64. Preparing to unpack .../26-libatspi2.0-dev_2.52.0-1build1_amd64.deb ... Unpacking libatspi2.0-dev:amd64 (2.52.0-1build1) ... Selecting previously unselected package libatk-bridge2.0-dev:amd64. Preparing to unpack .../27-libatk-bridge2.0-dev_2.52.0-1build1_amd64.deb ... Unpacking libatk-bridge2.0-dev:amd64 (2.52.0-1build1) ... Selecting previously unselected package libbrotli-dev:amd64. Preparing to unpack .../28-libbrotli-dev_1.1.0-2build2_amd64.deb ... Unpacking libbrotli-dev:amd64 (1.1.0-2build2) ... Selecting previously unselected package libbz2-dev:amd64. Preparing to unpack .../29-libbz2-dev_1.0.8-5.1build0.1_amd64.deb ... Unpacking libbz2-dev:amd64 (1.0.8-5.1build0.1) ... Selecting previously unselected package libcairo-script-interpreter2:amd64. Preparing to unpack .../30-libcairo-script-interpreter2_1.18.0-3build1_amd64.deb ... Unpacking libcairo-script-interpreter2:amd64 (1.18.0-3build1) ... Selecting previously unselected package libpng-dev:amd64. Preparing to unpack .../31-libpng-dev_1.6.43-5build1_amd64.deb ... Unpacking libpng-dev:amd64 (1.6.43-5build1) ... Selecting previously unselected package libfreetype-dev:amd64. Preparing to unpack .../32-libfreetype-dev_2.13.2+dfsg-1build3_amd64.deb ... Unpacking libfreetype-dev:amd64 (2.13.2+dfsg-1build3) ... Selecting previously unselected package libfontconfig-dev:amd64. Preparing to unpack .../33-libfontconfig-dev_2.15.0-1.1ubuntu2_amd64.deb ... Unpacking libfontconfig-dev:amd64 (2.15.0-1.1ubuntu2) ... Selecting previously unselected package libpixman-1-dev:amd64. Preparing to unpack .../34-libpixman-1-dev_0.42.2-1build1_amd64.deb ... Unpacking libpixman-1-dev:amd64 (0.42.2-1build1) ... Selecting previously unselected package libice-dev:amd64. Preparing to unpack .../35-libice-dev_2%3a1.0.10-1build3_amd64.deb ... Unpacking libice-dev:amd64 (2:1.0.10-1build3) ... Selecting previously unselected package libsm-dev:amd64. Preparing to unpack .../36-libsm-dev_2%3a1.2.3-1build3_amd64.deb ... Unpacking libsm-dev:amd64 (2:1.2.3-1build3) ... Selecting previously unselected package libxcb-render0-dev:amd64. Preparing to unpack .../37-libxcb-render0-dev_1.15-1ubuntu2_amd64.deb ... Unpacking libxcb-render0-dev:amd64 (1.15-1ubuntu2) ... Selecting previously unselected package libxcb-shm0-dev:amd64. Preparing to unpack .../38-libxcb-shm0-dev_1.15-1ubuntu2_amd64.deb ... Unpacking libxcb-shm0-dev:amd64 (1.15-1ubuntu2) ... Selecting previously unselected package libxrender-dev:amd64. Preparing to unpack .../39-libxrender-dev_1%3a0.9.10-1.1build1_amd64.deb ... Unpacking libxrender-dev:amd64 (1:0.9.10-1.1build1) ... Selecting previously unselected package libcairo2-dev:amd64. Preparing to unpack .../40-libcairo2-dev_1.18.0-3build1_amd64.deb ... Unpacking libcairo2-dev:amd64 (1.18.0-3build1) ... Selecting previously unselected package libdatrie-dev:amd64. Preparing to unpack .../41-libdatrie-dev_0.2.13-3build1_amd64.deb ... Unpacking libdatrie-dev:amd64 (0.2.13-3build1) ... Selecting previously unselected package libdeflate-dev:amd64. Preparing to unpack .../42-libdeflate-dev_1.19-1build1.1_amd64.deb ... Unpacking libdeflate-dev:amd64 (1.19-1build1.1) ... Selecting previously unselected package libegl-mesa0:amd64. Preparing to unpack .../43-libegl-mesa0_24.2.8-1ubuntu1~24.04.1_amd64.deb ... Unpacking libegl-mesa0:amd64 (24.2.8-1ubuntu1~24.04.1) ... Selecting previously unselected package libegl1:amd64. Preparing to unpack .../44-libegl1_1.7.0-1build1_amd64.deb ... Unpacking libegl1:amd64 (1.7.0-1build1) ... Selecting previously unselected package libegl-dev:amd64. Preparing to unpack .../45-libegl-dev_1.7.0-1build1_amd64.deb ... Unpacking libegl-dev:amd64 (1.7.0-1build1) ... Selecting previously unselected package libglvnd-core-dev:amd64. Preparing to unpack .../46-libglvnd-core-dev_1.7.0-1build1_amd64.deb ... Unpacking libglvnd-core-dev:amd64 (1.7.0-1build1) ... Selecting previously unselected package libgles1:amd64. Preparing to unpack .../47-libgles1_1.7.0-1build1_amd64.deb ... Unpacking libgles1:amd64 (1.7.0-1build1) ... Selecting previously unselected package libgles2:amd64. Preparing to unpack .../48-libgles2_1.7.0-1build1_amd64.deb ... Unpacking libgles2:amd64 (1.7.0-1build1) ... Selecting previously unselected package libgles-dev:amd64. Preparing to unpack .../49-libgles-dev_1.7.0-1build1_amd64.deb ... Unpacking libgles-dev:amd64 (1.7.0-1build1) ... Selecting previously unselected package libglvnd-dev:amd64. Preparing to unpack .../50-libglvnd-dev_1.7.0-1build1_amd64.deb ... Unpacking libglvnd-dev:amd64 (1.7.0-1build1) ... Selecting previously unselected package libegl1-mesa-dev:amd64. Preparing to unpack .../51-libegl1-mesa-dev_24.2.8-1ubuntu1~24.04.1_amd64.deb ... Unpacking libegl1-mesa-dev:amd64 (24.2.8-1ubuntu1~24.04.1) ... Selecting previously unselected package libepoxy-dev:amd64. Preparing to unpack .../52-libepoxy-dev_1.5.10-1build1_amd64.deb ... Unpacking libepoxy-dev:amd64 (1.5.10-1build1) ... Selecting previously unselected package libfribidi-dev:amd64. Preparing to unpack .../53-libfribidi-dev_1.0.13-3build1_amd64.deb ... Unpacking libfribidi-dev:amd64 (1.0.13-3build1) ... Selecting previously unselected package libgdk-pixbuf2.0-bin. Preparing to unpack .../54-libgdk-pixbuf2.0-bin_2.42.10+dfsg-3ubuntu3.1_amd64.deb ... Unpacking libgdk-pixbuf2.0-bin (2.42.10+dfsg-3ubuntu3.1) ... Selecting previously unselected package libjpeg-turbo8-dev:amd64. Preparing to unpack .../55-libjpeg-turbo8-dev_2.1.5-2ubuntu2_amd64.deb ... Unpacking libjpeg-turbo8-dev:amd64 (2.1.5-2ubuntu2) ... Selecting previously unselected package libjpeg8-dev:amd64. Preparing to unpack .../56-libjpeg8-dev_8c-2ubuntu11_amd64.deb ... Unpacking libjpeg8-dev:amd64 (8c-2ubuntu11) ... Selecting previously unselected package libjpeg-dev:amd64. Preparing to unpack .../57-libjpeg-dev_8c-2ubuntu11_amd64.deb ... Unpacking libjpeg-dev:amd64 (8c-2ubuntu11) ... Selecting previously unselected package libjbig-dev:amd64. Preparing to unpack .../58-libjbig-dev_2.1-6.1ubuntu2_amd64.deb ... Unpacking libjbig-dev:amd64 (2.1-6.1ubuntu2) ... Selecting previously unselected package liblzma-dev:amd64. Preparing to unpack .../59-liblzma-dev_5.6.1+really5.4.5-1build0.1_amd64.deb ... Unpacking liblzma-dev:amd64 (5.6.1+really5.4.5-1build0.1) ... Selecting previously unselected package libwebpdecoder3:amd64. Preparing to unpack .../60-libwebpdecoder3_1.3.2-0.4build3_amd64.deb ... Unpacking libwebpdecoder3:amd64 (1.3.2-0.4build3) ... Selecting previously unselected package libsharpyuv-dev:amd64. Preparing to unpack .../61-libsharpyuv-dev_1.3.2-0.4build3_amd64.deb ... Unpacking libsharpyuv-dev:amd64 (1.3.2-0.4build3) ... Selecting previously unselected package libwebp-dev:amd64. Preparing to unpack .../62-libwebp-dev_1.3.2-0.4build3_amd64.deb ... Unpacking libwebp-dev:amd64 (1.3.2-0.4build3) ... Selecting previously unselected package libtiffxx6:amd64. Preparing to unpack .../63-libtiffxx6_4.5.1+git230720-4ubuntu2.2_amd64.deb ... Unpacking libtiffxx6:amd64 (4.5.1+git230720-4ubuntu2.2) ... Selecting previously unselected package liblerc-dev:amd64. Preparing to unpack .../64-liblerc-dev_4.0.0+ds-4ubuntu2_amd64.deb ... Unpacking liblerc-dev:amd64 (4.0.0+ds-4ubuntu2) ... Selecting previously unselected package libtiff-dev:amd64. Preparing to unpack .../65-libtiff-dev_4.5.1+git230720-4ubuntu2.2_amd64.deb ... Unpacking libtiff-dev:amd64 (4.5.1+git230720-4ubuntu2.2) ... Selecting previously unselected package libgdk-pixbuf-2.0-dev:amd64. Preparing to unpack .../66-libgdk-pixbuf-2.0-dev_2.42.10+dfsg-3ubuntu3.1_amd64.deb ... Unpacking libgdk-pixbuf-2.0-dev:amd64 (2.42.10+dfsg-3ubuntu3.1) ... Selecting previously unselected package libgraphite2-dev:amd64. Preparing to unpack .../67-libgraphite2-dev_1.3.14-2build1_amd64.deb ... Unpacking libgraphite2-dev:amd64 (1.3.14-2build1) ... Selecting previously unselected package libharfbuzz-icu0:amd64. Preparing to unpack .../68-libharfbuzz-icu0_8.3.0-2build2_amd64.deb ... Unpacking libharfbuzz-icu0:amd64 (8.3.0-2build2) ... Selecting previously unselected package libharfbuzz-subset0:amd64. Preparing to unpack .../69-libharfbuzz-subset0_8.3.0-2build2_amd64.deb ... Unpacking libharfbuzz-subset0:amd64 (8.3.0-2build2) ... Selecting previously unselected package libharfbuzz-cairo0:amd64. Preparing to unpack .../70-libharfbuzz-cairo0_8.3.0-2build2_amd64.deb ... Unpacking libharfbuzz-cairo0:amd64 (8.3.0-2build2) ... Selecting previously unselected package libharfbuzz-dev:amd64. Preparing to unpack .../71-libharfbuzz-dev_8.3.0-2build2_amd64.deb ... Unpacking libharfbuzz-dev:amd64 (8.3.0-2build2) ... Selecting previously unselected package libthai-dev:amd64. Preparing to unpack .../72-libthai-dev_0.1.29-2build1_amd64.deb ... Unpacking libthai-dev:amd64 (0.1.29-2build1) ... Selecting previously unselected package libxft-dev:amd64. Preparing to unpack .../73-libxft-dev_2.3.6-1build1_amd64.deb ... Unpacking libxft-dev:amd64 (2.3.6-1build1) ... Selecting previously unselected package pango1.0-tools. Preparing to unpack .../74-pango1.0-tools_1.52.1+ds-1build1_amd64.deb ... Unpacking pango1.0-tools (1.52.1+ds-1build1) ... Selecting previously unselected package libpango1.0-dev:amd64. Preparing to unpack .../75-libpango1.0-dev_1.52.1+ds-1build1_amd64.deb ... Unpacking libpango1.0-dev:amd64 (1.52.1+ds-1build1) ... Selecting previously unselected package libwayland-bin. Preparing to unpack .../76-libwayland-bin_1.22.0-2.1build1_amd64.deb ... Unpacking libwayland-bin (1.22.0-2.1build1) ... Selecting previously unselected package libwayland-dev:amd64. Preparing to unpack .../77-libwayland-dev_1.22.0-2.1build1_amd64.deb ... Unpacking libwayland-dev:amd64 (1.22.0-2.1build1) ... Selecting previously unselected package libxcomposite-dev:amd64. Preparing to unpack .../78-libxcomposite-dev_1%3a0.4.5-1build3_amd64.deb ... Unpacking libxcomposite-dev:amd64 (1:0.4.5-1build3) ... Selecting previously unselected package libxcursor-dev:amd64. Preparing to unpack .../79-libxcursor-dev_1%3a1.2.1-1build1_amd64.deb ... Unpacking libxcursor-dev:amd64 (1:1.2.1-1build1) ... Selecting previously unselected package libxdamage-dev:amd64. Preparing to unpack .../80-libxdamage-dev_1%3a1.1.6-1build1_amd64.deb ... Unpacking libxdamage-dev:amd64 (1:1.1.6-1build1) ... Selecting previously unselected package libxinerama-dev:amd64. Preparing to unpack .../81-libxinerama-dev_2%3a1.1.4-3build1_amd64.deb ... Unpacking libxinerama-dev:amd64 (2:1.1.4-3build1) ... Selecting previously unselected package libxkbcommon-dev:amd64. Preparing to unpack .../82-libxkbcommon-dev_1.6.0-1build1_amd64.deb ... Unpacking libxkbcommon-dev:amd64 (1.6.0-1build1) ... Selecting previously unselected package libxrandr-dev:amd64. Preparing to unpack .../83-libxrandr-dev_2%3a1.5.2-2build1_amd64.deb ... Unpacking libxrandr-dev:amd64 (2:1.5.2-2build1) ... Selecting previously unselected package wayland-protocols. Preparing to unpack .../84-wayland-protocols_1.34-1_all.deb ... Unpacking wayland-protocols (1.34-1) ... Selecting previously unselected package libgtk-3-dev:amd64. Preparing to unpack .../85-libgtk-3-dev_3.24.41-4ubuntu1.2_amd64.deb ... Unpacking libgtk-3-dev:amd64 (3.24.41-4ubuntu1.2) ... Selecting previously unselected package libpng-tools. Preparing to unpack .../86-libpng-tools_1.6.43-5build1_amd64.deb ... Unpacking libpng-tools (1.6.43-5build1) ... Setting up libcairo-script-interpreter2:amd64 (1.18.0-3build1) ... Setting up libglib2.0-dev-bin (2.80.0-6ubuntu3.2) ... Setting up bzip2-doc (1.0.8-5.1build0.1) ... Setting up libjpeg-turbo8-dev:amd64 (2.1.5-2ubuntu2) ... Setting up gir1.2-freedesktop:amd64 (1.80.1-1) ... Setting up libharfbuzz-icu0:amd64 (8.3.0-2build2) ... Setting up libpixman-1-dev:amd64 (0.42.2-1build1) ... Setting up libpangoxft-1.0-0:amd64 (1.52.1+ds-1build1) ... Setting up libglvnd-core-dev:amd64 (1.7.0-1build1) ... Setting up gir1.2-gdkpixbuf-2.0:amd64 (2.42.10+dfsg-3ubuntu3.1) ... Setting up libice-dev:amd64 (2:1.0.10-1build3) ... Setting up libpng-tools (1.6.43-5build1) ... Setting up libgirepository-2.0-0:amd64 (2.80.0-6ubuntu3.2) ... Setting up gir1.2-atk-1.0:amd64 (2.52.0-1build1) ... Setting up libsm-dev:amd64 (2:1.2.3-1build3) ... Setting up libfribidi-dev:amd64 (1.0.13-3build1) ... Setting up libxkbcommon-dev:amd64 (1.6.0-1build1) ... Setting up libpng-dev:amd64 (1.6.43-5build1) ... Setting up pango1.0-tools (1.52.1+ds-1build1) ... Setting up libjbig-dev:amd64 (2.1-6.1ubuntu2) ... Setting up libwebpdecoder3:amd64 (1.3.2-0.4build3) ... Setting up libharfbuzz-gobject0:amd64 (8.3.0-2build2) ... Setting up gir1.2-atspi-2.0:amd64 (2.52.0-1build1) ... Setting up gir1.2-harfbuzz-0.0:amd64 (8.3.0-2build2) ... Setting up libxfixes-dev:amd64 (1:6.0.0-2build1) ... Setting up libxcb-shm0-dev:amd64 (1.15-1ubuntu2) ... Setting up libwayland-bin (1.22.0-2.1build1) ... Setting up libgraphite2-dev:amd64 (1.3.14-2build1) ... Setting up gir1.2-pango-1.0:amd64 (1.52.1+ds-1build1) ... Setting up libegl-mesa0:amd64 (24.2.8-1ubuntu1~24.04.1) ... Setting up libgles2:amd64 (1.7.0-1build1) ... Setting up libharfbuzz-cairo0:amd64 (8.3.0-2build2) ... Setting up libdbus-1-dev:amd64 (1.14.10-4ubuntu4.1) ... Setting up uuid-dev:amd64 (2.39.3-9ubuntu6.2) ... Setting up libgles1:amd64 (1.7.0-1build1) ... Setting up libsepol-dev:amd64 (3.5-2build1) ... Setting up libxcb-render0-dev:amd64 (1.15-1ubuntu2) ... Setting up liblerc-dev:amd64 (4.0.0+ds-4ubuntu2) ... Setting up libxext-dev:amd64 (2:1.3.4-1build2) ... Setting up liblzma-dev:amd64 (5.6.1+really5.4.5-1build0.1) ... Setting up wayland-protocols (1.34-1) ... Setting up libdatrie-dev:amd64 (0.2.13-3build1) ... Setting up gir1.2-glib-2.0-dev:amd64 (2.80.0-6ubuntu3.2) ... Setting up libgdk-pixbuf2.0-bin (2.42.10+dfsg-3ubuntu3.1) ... Setting up libegl1:amd64 (1.7.0-1build1) ... Setting up libharfbuzz-subset0:amd64 (8.3.0-2build2) ... Setting up libjpeg8-dev:amd64 (8c-2ubuntu11) ... Setting up libxi-dev:amd64 (2:1.8.1-1build1) ... Setting up libsharpyuv-dev:amd64 (1.3.2-0.4build3) ... Setting up libtiffxx6:amd64 (4.5.1+git230720-4ubuntu2.2) ... Setting up libdeflate-dev:amd64 (1.19-1build1.1) ... Setting up libxrender-dev:amd64 (1:0.9.10-1.1build1) ... Setting up libbrotli-dev:amd64 (1.1.0-2build2) ... Setting up libbz2-dev:amd64 (1.0.8-5.1build0.1) ... Setting up libxtst-dev:amd64 (2:1.2.3-1.1build1) ... Setting up libxdamage-dev:amd64 (1:1.1.6-1build1) ... Setting up libblkid-dev:amd64 (2.39.3-9ubuntu6.2) ... Setting up libegl-dev:amd64 (1.7.0-1build1) ... Setting up libselinux1-dev:amd64 (3.5-2ubuntu2.1) ... Setting up libxcomposite-dev:amd64 (1:0.4.5-1build3) ... Setting up libxcursor-dev:amd64 (1:1.2.1-1build1) ... Setting up libepoxy-dev:amd64 (1.5.10-1build1) ... Setting up gir1.2-gtk-3.0:amd64 (3.24.41-4ubuntu1.2) ... Setting up libjpeg-dev:amd64 (8c-2ubuntu11) ... Setting up libwayland-dev:amd64 (1.22.0-2.1build1) ... Setting up libfreetype-dev:amd64 (2.13.2+dfsg-1build3) ... Setting up libxrandr-dev:amd64 (2:1.5.2-2build1) ... Setting up libwebp-dev:amd64 (1.3.2-0.4build3) ... Setting up libtiff-dev:amd64 (4.5.1+git230720-4ubuntu2.2) ... Setting up gir1.2-freedesktop-dev:amd64 (1.80.1-1) ... Setting up libxinerama-dev:amd64 (2:1.1.4-3build1) ... Setting up libthai-dev:amd64 (0.1.29-2build1) ... Setting up libgles-dev:amd64 (1.7.0-1build1) ... Setting up libmount-dev:amd64 (2.39.3-9ubuntu6.2) ... Setting up libfontconfig-dev:amd64 (2.15.0-1.1ubuntu2) ... Setting up libglvnd-dev:amd64 (1.7.0-1build1) ... Setting up libglib2.0-dev:amd64 (2.80.0-6ubuntu3.2) ... Setting up libxft-dev:amd64 (2.3.6-1build1) ... Setting up libegl1-mesa-dev:amd64 (24.2.8-1ubuntu1~24.04.1) ... Processing triggers for libc-bin (2.39-0ubuntu8.4) ... Processing triggers for man-db (2.12.0-4build2) ... Processing triggers for libglib2.0-0t64:amd64 (2.80.0-6ubuntu3.2) ... Processing triggers for sgml-base (1.31) ... Setting up libcairo2-dev:amd64 (1.18.0-3build1) ... Processing triggers for install-info (7.1-3build2) ... Setting up libatk1.0-dev:amd64 (2.52.0-1build1) ... Setting up libgdk-pixbuf-2.0-dev:amd64 (2.42.10+dfsg-3ubuntu3.1) ... Setting up libatspi2.0-dev:amd64 (2.52.0-1build1) ... Setting up libharfbuzz-dev:amd64 (8.3.0-2build2) ... Setting up libatk-bridge2.0-dev:amd64 (2.52.0-1build1) ... Setting up libpango1.0-dev:amd64 (1.52.1+ds-1build1) ... Setting up libgtk-3-dev:amd64 (3.24.41-4ubuntu1.2) ... Running kernel seems to be up-to-date. Restarting services... Service restarts being deferred: systemctl restart runner-provisioner.service No containers need to be restarted. No user sessions are running outdated binaries. No VM guests are running outdated hypervisor (qemu) binaries on this host. Note: Deploying ocarina_lib=1.1.0-20070603... #=#=# ##O#-# 0.7% # 2.2% ### 4.4% ###### 8.8% ########## 14.9% ################## 25.8% #################################### 50.8% ####################################################################### 99.9% ######################################################################## 100.0% Note: Deploying gtkada=25.0.1... #=#=# ##O#-# ##=O#- # # #=O#- # # #=O#- # # #=O=# # # #=O=# # # -#O=-# # # -#O=- # # Note: Running post-fetch actions for ocarina_lib=1.1.0-20070603... checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for mv... mv checking for rm... rm checking for cp... cp checking for grep... grep checking for chmod... chmod checking for ranlib... ranlib checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... none checking for gnatmake... gnatmake checking for gnatgcc... no checking for adagcc... no checking for gcc... gcc checking for gnatchop... gnatchop checking if the Ada compiler works... yes checking for gnatclean... gnatclean checking for python version... checking for python platform... checking for python script directory... ${prefix}/lib/python/site-packages checking for python extension module directory... ${exec_prefix}/lib/python/site-packages checking for polyorb-config... no configure: WARNING: PolyORB 2.2 or later is not installed on your system. The Ocarina PlyORB runtime will not be installed on your system. checking XmlAda... no ./configure: line 4408: svn: command not found configure: creating ./config.status config.status: creating Makefile config.status: creating doc/Makefile config.status: creating projects/ocarina-config.gpr config.status: creating projects/Makefile config.status: creating resources/Makefile config.status: creating resources/behavioural_properties/Makefile config.status: creating resources/runtime/Makefile config.status: creating resources/runtime/polyorb/Makefile config.status: creating examples/Makefile config.status: creating examples/bbs/Makefile config.status: creating examples/bintree/Makefile config.status: creating examples/man_in_the_middle/Makefile config.status: creating examples/producer_consumer/Makefile config.status: creating examples/ring/Makefile config.status: creating examples/shared/Makefile config.status: creating examples/hybrid_subprogram/Makefile config.status: creating examples/priorities/Makefile config.status: creating examples/multiple_call_seq/Makefile config.status: creating examples/multicast/Makefile config.status: creating examples/import/Makefile config.status: creating src/main/Makefile config.status: creating src/config/Makefile config.status: creating src/config/ocarina-configuration.adb config.status: creating src/aadl/Makefile config.status: creating src/dia/Makefile config.status: creating src/dumper/Makefile config.status: creating src/core/Makefile config.status: creating src/pn/Makefile config.status: creating src/checker/Makefile config.status: creating src/gaia/Makefile config.status: creating src/generators/Makefile config.status: creating src/Makefile config.status: creating support/Makefile config.status: creating tools/Makefile config.status: creating tools/gendoc.py config.status: creating tools/compare.py config.status: creating ocarina-config config.status: executing depfiles commands configure: Including the following Ocarina modules: aadl dumper generators pn gaia Note: Running post-fetch actions for gtkada=25.0.1... checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking target system type... x86_64-pc-linux-gnu checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for gprbuild... /home/runner/.local/share/alire/toolchains/gprbuild_22.0.1_24dfc1b5/bin/gprbuild checking for gprinstall... /home/runner/.local/share/alire/toolchains/gprbuild_22.0.1_24dfc1b5/bin/gprinstall checking that your gnat compiler works with a simple example... yes checking whether NLS is requested... yes checking for gettext in libc... yes checking for GTK... yes checking for pkg-config... (cached) /usr/bin/pkg-config checking pkg-config is at least version 0.16... yes checking for GTK+ - version >= 3.24.24... yes (version 3.24.41) checking for GMODULE... yes checking for FONTCONFIG... yes configure: creating ./config.status config.status: creating Makefile config.status: creating gtkada_shared.gpr config.status: creating po/Makefile config.status: creating docs/gtkada_rm/html/static/index.html configure: --------- Summary for Gtkada 18.0w ----------------- configure: Shared libraries: yes (default: static) configure: -------------------------------------------- gnatprep -DGETTEXT_INTL=False -DHAVE_GETTEXT=True src/gtkada-intl.gpb src/gtkada-intl.adb Note: Running post-fetch actions for cheddar=3.3.0... + sed -i.bak -e/CHEDDAR_DIR/s/.src// '-es/required_packages[a-z/]*//' '-e/^end/s@^@package Install is for Artifacts (".") use ("../graphical_editor/glade_files"); end Install;@' gpr/F2TInitialSolutionPreprocessing.gpr gpr/F2T_exhaustive.gpr gpr/F2T_paes.gpr gpr/T2P_T2C_paes_mils.gpr gpr/T2P_and_security_exhaustive.gpr gpr/T2P_and_security_paes.gpr gpr/aadl2aadl.gpr gpr/aadl2xml.gpr gpr/architectureGeneration.gpr gpr/build_schedule_from_xml.gpr gpr/cPaes.gpr gpr/cacheAnalysis.gpr gpr/callCheddar.gpr gpr/callCheddar_securityAnalysis.gpr gpr/cheddar.gpr gpr/cheddarKernel.gpr gpr/cheddarLite.gpr gpr/cnn.gpr gpr/cut.gpr gpr/deadline2energy_exhaustive.gpr gpr/designPattern.gpr gpr/design_pattern_repository.gpr gpr/dfg.gpr gpr/energy_paes.gpr gpr/feasibilityInterval.gpr gpr/feasibilityProcessorUtilization.gpr gpr/frameworkExamples.gpr gpr/hierarchical.gpr gpr/kernel.gpr gpr/kernelWithParsers.gpr gpr/kl_partitioning.gpr gpr/mcs.gpr gpr/merge.gpr gpr/mils.gpr gpr/mosar.gpr gpr/noc.gpr gpr/optimizations.gpr gpr/paes.gpr gpr/parse_xml_schedule.gpr gpr/ppcparchitecturegeneration.gpr gpr/priorityAssignment.gpr gpr/produce_arinc_pst.gpr gpr/prolog.gpr gpr/read_write.gpr gpr/response_time.gpr gpr/scc.gpr gpr/scheduling_anomalies.gpr gpr/scm.gpr gpr/spacewire_generation.gpr gpr/spacewire_transformation.gpr gpr/test_cairo1.gpr gpr/unittest.gpr gpr/v2architecturetov3architecture.gpr gpr/v2eventtabletov3eventtable.gpr gpr/vs.gpr gpr/xml2aadl.gpr gpr/xml2xml.gpr gpr/xmllint.gpr Note: Building cheddar=3.3.0/gpr/cheddar.gpr... Setup [mkdir] object directory for project GtkAda [mkdir] library directory for project GtkAda [mkdir] object directory for project Ocarina.Core [mkdir] library directory for project Ocarina.Core [mkdir] object directory for project Ocarina.AADL [mkdir] library directory for project Ocarina.AADL [mkdir] object directory for project Ocarina.Dumper [mkdir] library directory for project Ocarina.Dumper [mkdir] object directory for project Ocarina.Checker [mkdir] library directory for project Ocarina.Checker [mkdir] object directory for project Ocarina.Generators [mkdir] library directory for project Ocarina.Generators [mkdir] object directory for project Ocarina.PN [mkdir] library directory for project Ocarina.PN [mkdir] object directory for project Ocarina.Gaia [mkdir] library directory for project Ocarina.Gaia [mkdir] object directory for project Ocarina.Config [mkdir] library directory for project Ocarina.Config [mkdir] object directory for project XmlAda_Schema Compile [Ada] cheddar.adb [Ada] schema-dom_readers.adb [Ada] schema-validators-xsd_grammar.adb [Ada] schema-decimal.adb [Ada] schema-simple_types.adb [Ada] schema-date_time.adb [Ada] schema-schema_readers.adb [Ada] schema-validators.adb [Ada] schema.adb [Ada] schema-readers.adb [Ada] dom-core-character_datas.adb [Ada] dom-core.adb [Ada] dom-core-document_fragments.ads [Ada] dom-core-processing_instructions.ads [Ada] dom-core-entity_references.ads [Ada] dom-core-elements.adb [Ada] dom-core-notations.adb [Ada] dom-core-texts.adb [Ada] dom.ads [Ada] dom-core-documents.adb [Ada] dom-readers.adb [Ada] dom-core-cdata_sections.ads [Ada] dom-core-attrs.adb [Ada] dom-core-nodes.adb [Ada] dom-core-comments.ads [Ada] dom-core-document_types.adb [Ada] input_sources-strings.adb [Ada] input_sources-file.adb [Ada] input_sources-socket.adb [Ada] input_sources-http.adb [Ada] input_sources.adb [Ada] sax-readers.adb [Ada] sax-pointers.adb [Ada] sax-models.adb [Ada] sax-symbols.adb [Ada] sax-encodings.ads [Ada] sax.ads [Ada] sax-state_machines.adb [Ada] sax-utils.adb [Ada] sax-locators.adb [Ada] sax-exceptions.adb [Ada] sax-attributes.adb [Ada] sax-htable.adb [Ada] unicode-names-grantha.ads [Ada] unicode-names-combining_diacritical_sup.ads [Ada] unicode-names-enclosed_alphanum_sup.ads [Ada] unicode-names-variation_selectors_sup.ads [Ada] unicode-names-lepcha.ads [Ada] unicode-names-ipa_extensions.ads [Ada] unicode-names-syloti_nagri.ads [Ada] unicode-names-tai_xuan_jing_symbols.ads [Ada] unicode-names-buginese.ads [Ada] unicode-names-javanese.ads [Ada] unicode-names-vedic_extensions.ads [Ada] unicode-names-ancient_greek_music.ads [Ada] unicode-names-cyrillic.ads [Ada] unicode-names-meetei_mayek.ads [Ada] unicode-names-pahawh_hmong.ads [Ada] unicode-names-thai.ads [Ada] unicode-names-avestan.ads [Ada] unicode-ccs-iso_8859_4.adb [Ada] unicode-names-bopomofo_extended.ads [Ada] unicode-names-osmanya.ads [Ada] unicode-names-cjk_strokes.ads [Ada] unicode-names-letterlike_symbols.ads [Ada] unicode-names-brahmi.ads [Ada] unicode-names-tagbanwa.ads [Ada] unicode-names-combining_diacritical_sym.ads [Ada] unicode-names-cherokee.ads [Ada] unicode-names-chakma.ads [Ada] unicode-names-inscriptional_parthian.ads [Ada] unicode-names-ideograph_descr_chars.ads [Ada] unicode-names-kannada.ads [Ada] unicode-names-manichaean.ads [Ada] unicode-names-old_persian.ads [Ada] unicode-names-ol_chiki.ads [Ada] unicode-names-modi.ads [Ada] unicode-names-sinhala.ads [Ada] unicode-names-geometric_shapes_extended.ads [Ada] unicode-names-samaritan.ads [Ada] unicode-names-braille_patterns.ads [Ada] unicode-names-phonetic_extensions.ads [Ada] unicode-names-kana_supplement.ads [Ada] unicode-names-hanunoo.ads [Ada] unicode-names-ahom.ads [Ada] unicode-names-cjk_compatibility.ads [Ada] unicode-names-bassa_vah.ads [Ada] unicode-names-old_hungarian.ads [Ada] unicode-names-arabic_present_formsb.ads [Ada] unicode-names-tibetan.ads [Ada] unicode-names-katakana_phonetic_ext.ads [Ada] unicode-names-georgian.ads [Ada] unicode-names-katakana.ads [Ada] unicode-names-old_south_arabian.ads [Ada] unicode-names-mro.ads [Ada] unicode-names-byzantine_musical_symbols.ads [Ada] unicode-names-coptic.ads [Ada] unicode-names-mahajani.ads [Ada] unicode-names-tai_le.ads [Ada] unicode-ces-utf8.adb [Ada] unicode-names-vertical_forms.ads [Ada] unicode-names-deseret.ads [Ada] unicode-ccs-windows_1252.adb [Ada] unicode-names-miao.ads [Ada] unicode-names-shorthand_format_controls.ads [Ada] unicode-names-arabic_supplement.ads [Ada] unicode-names-caucasian_albanian.ads [Ada] unicode-names-lisu.ads [Ada] unicode-names-ethiopic_supplement.ads [Ada] unicode-names-devanagari.ads [Ada] unicode-names-tai_tham.ads [Ada] unicode-names-specials.ads [Ada] unicode-names-playing_cards.ads [Ada] unicode-names-spacing_modifier_letters.ads [Ada] unicode-names-tags.ads [Ada] unicode-names-cjk_letters_months.ads [Ada] unicode-names-miscellaneous_symbols.ads [Ada] unicode-names-box_drawing.ads [Ada] unicode-names-phoenician.ads [Ada] unicode-names-malayalam.ads [Ada] unicode-names-devanagari_extended.ads [Ada] unicode-names-super_and_sub_scripts.ads [Ada] unicode-names-pau_cin_hau.ads [Ada] unicode-names-cjk_symbols_and_punct.ads [Ada] unicode-names-bamum.ads [Ada] unicode-ces-basic_8bit.adb [Ada] unicode-names-misc_math_symbols_a.ads [Ada] unicode-names-half_full_width_forms.ads [Ada] unicode-ces-utf16.adb [Ada] unicode-names-latin_extended_b.ads [Ada] unicode-names-gujarati.ads [Ada] unicode-names-mongolian.ads [Ada] unicode-names-ogham.ads [Ada] unicode-names-emoticons.ads [Ada] unicode-names-counting_rod_numerals.ads [Ada] unicode-ccs-iso_8859_1.adb [Ada] unicode-names-gothic.ads [Ada] unicode-names-sinhala_archaic_numbers.ads [Ada] unicode-names-ethiopic.ads [Ada] unicode-names-yi_syllables.ads [Ada] unicode-names-transport_and_map_symbols.ads [Ada] unicode-names-variation_selectors.ads [Ada] unicode-names-cham.ads [Ada] unicode-names-ancient_greek_numbers.ads [Ada] unicode-names-number_forms.ads [Ada] unicode-names-khmer_symbols.ads [Ada] unicode-names-yijing_hexagram_symbols.ads [Ada] unicode-names-tirhuta.ads [Ada] unicode-names-hangul_jamo_extended_a.ads [Ada] unicode-names-dingbats.ads [Ada] unicode-names-combining_half_marks.ads [Ada] unicode-names-shavian.ads [Ada] unicode-names-optical_chars_recognition.ads [Ada] unicode-names-khmer.ads [Ada] unicode-names-sup_symbols_pictographs.ads [Ada] unicode-names-alchemical_symbols.ads [Ada] unicode-names-lycian.ads [Ada] unicode-names-cyrillic_supplement.ads [Ada] unicode-names-warang_citi.ads [Ada] unicode-names-linear_a.ads [Ada] unicode-names-domino_tiles.ads [Ada] unicode-names-combining_diacritical.ads [Ada] unicode-names-greek_and_coptic.ads [Ada] unicode-names-sundanese_supplement.ads [Ada] unicode-names-nko.ads [Ada] unicode-names-common_indic_number_forms.ads [Ada] unicode-names-hiragana.ads [Ada] unicode-names-thaana.ads [Ada] unicode-names-carian.ads [Ada] unicode-names-arabic_extended_a.ads [Ada] unicode-names-phonetic_ext_sup.ads [Ada] unicode-names-ethiopic_extended_a.ads [Ada] unicode-names-latin_extended_c.ads [Ada] unicode-names-sharada.ads [Ada] unicode-names-cherokee_supplement.ads [Ada] unicode-names-math_alphanumeric_symb.ads [Ada] unicode-names-batak.ads [Ada] unicode-names-cjk_compat_ideographs.ads [Ada] unicode-names-sutton_signwriting.ads [Ada] unicode-names-sundanese.ads [Ada] unicode-ccs-iso_8859_15.adb [Ada] unicode-names-bopomofo.ads [Ada] unicode-names-ugaritic.ads [Ada] unicode-names-ancient_symbols.ads [Ada] unicode-names-supplemental_arrows_c.ads [Ada] unicode-names-old_north_arabian.ads [Ada] unicode-names-cjk_compat_ideo_sup.ads [Ada] unicode-names-supplemental_arrows_a.ads [Ada] unicode-names-currency_symbols.ads [Ada] unicode-names-canadian_aboriginal.ads [Ada] unicode-names-telugu.ads [Ada] unicode-names-hangul_jamo_extended_b.ads [Ada] unicode-names-arabic.ads [Ada] unicode-names-psalter_pahlavi.ads [Ada] unicode-names-old_turkic.ads [Ada] unicode-names-misc_math_symbols_b.ads [Ada] unicode-names-siddham.ads [Ada] unicode-names-misc_symbols_and_arrows.ads [Ada] unicode-names-saurashtra.ads [Ada] unicode-names-cyrillic_extended_a.ads [Ada] unicode-names-kanbun.ads [Ada] unicode-names-tai_viet.ads [Ada] unicode-names-tifinagh.ads [Ada] unicode-names-ethiopic_extended.ads [Ada] unicode-ccs-iso_8859_3.adb [Ada] unicode-names-new_tai_lue.ads [Ada] unicode-names-greek_extended.ads [Ada] unicode-names-myanmar_extended_b.ads [Ada] unicode-names-supplemental_arrows_b.ads [Ada] unicode-names-lydian.ads [Ada] unicode-names-linear_b_syllabary.ads [Ada] unicode-names-cypriot_syllabary.ads [Ada] unicode-names-phaistos_disc.ads [Ada] unicode-names-oriya.ads [Ada] unicode-ccs-iso_8859_2.adb [Ada] unicode-names-modifier_tone_letters.ads [Ada] unicode-names-kharoshthi.ads [Ada] unicode-names-khudawadi.ads [Ada] unicode-names-rejang.ads [Ada] unicode-names-cjk_radicals_supplement.ads [Ada] unicode-names-balinese.ads [Ada] unicode-names-ornamental_dingbats.ads [Ada] unicode-names-elbasan.ads [Ada] unicode-ccs-windows_1251.adb [Ada] unicode-names-rumi_numeral_symbols.ads [Ada] unicode-names-hebrew.ads [Ada] unicode.adb [Ada] unicode-names-gurmukhi.ads [Ada] unicode-names-mathematical_operators.ads [Ada] unicode-names-myanmar.ads [Ada] unicode-names-kangxi_radicals.ads [Ada] unicode-names-glagolitic.ads [Ada] unicode-names-kayah_li.ads [Ada] unicode-names-cuneiform_num_punctuation.ads [Ada] unicode-names-meetei_mayek_extensions.ads [Ada] unicode-names-nabataean.ads [Ada] unicode-names-early_dynastic_cuneiform.ads [Ada] unicode-names-hangul_compatibility_jamo.ads [Ada] unicode-names-arrows.ads [Ada] unicode-names-georgian_supplement.ads [Ada] unicode-names-coptic_epact_numbers.ads [Ada] unicode-names-arabic_math_alpha_symb.ads [Ada] unicode-names-bengali.ads [Ada] unicode-names-misc_symbols_pictographs.ads [Ada] unicode-names-cuneiform.ads [Ada] unicode-names-sup_math_operators.ads [Ada] unicode-names-duployan.ads [Ada] unicode-names-meroitic_hieroglyphs.ads [Ada] unicode-names-latin_extended_additional.ads [Ada] unicode-names-control_pictures.ads [Ada] unicode-names.ads [Ada] unicode-names-aegean_numbers.ads [Ada] unicode-names-kaithi.ads [Ada] unicode-names-inscriptional_pahlavi.ads [Ada] unicode-names-enclosed_alphanumerics.ads [Ada] unicode-names-yi_radicals.ads [Ada] unicode-names-latin_1_supplement.ads [Ada] unicode-names-hatran.ads [Ada] unicode-encodings.adb [Ada] unicode-names-latin_extended_e.ads [Ada] unicode-names-runic.ads [Ada] unicode-names-cyrillic_extended_b.ads [Ada] unicode-names-egyptian_hieroglyphs.ads [Ada] unicode-names-phags_pa.ads [Ada] unicode-names-meroitic_cursive.ads [Ada] unicode-names-lao.ads [Ada] unicode-names-arabic_present_formsa.ads [Ada] unicode-names-geometric_shapes.ads [Ada] unicode-names-alpha_presentation_forms.ads [Ada] unicode-names-old_permic.ads [Ada] unicode-names-syriac.ads [Ada] unicode-names-miscellaneous_technical.ads [Ada] unicode-names-myanmar_extended_a.ads [Ada] unicode-names-imperial_aramaic.ads [Ada] unicode-names-combining_diacritical_ext.ads [Ada] unicode-names-palmyrene.ads [Ada] unicode-names-multani.ads [Ada] unicode-names-block_elements.ads [Ada] unicode-names-vai.ads [Ada] unicode-names-tagalog.ads [Ada] unicode-names-general_punctuation.ads [Ada] unicode-names-hangul_jamo.ads [Ada] unicode-names-mandaic.ads [Ada] unicode-names-mende_kikakui.ads [Ada] unicode-names-cjk_compatibility_forms.ads [Ada] unicode-names-musical_symbols.ads [Ada] unicode-names-enclosed_ideographic_sup.ads [Ada] unicode-names-anatolian_hieroglyphs.ads [Ada] unicode-names-small_form_variants.ads [Ada] unicode-names-bamum_supplement.ads [Ada] unicode-names-latin_extended_d.ads [Ada] unicode-names-buhid.ads [Ada] unicode-names-linear_b_ideograms.ads [Ada] unicode-names-basic_latin.ads [Ada] unicode-names-sora_sompeng.ads [Ada] unicode-names-supplemental_punctuation.ads [Ada] unicode-names-latin_extended_a.ads [Ada] unicode-names-limbu.ads [Ada] unicode-ccs.adb [Ada] unicode-names-old_italic.ads [Ada] unicode-names-takri.ads [Ada] unicode-ces.adb [Ada] unicode-names-armenian.ads [Ada] unicode-names-khojki.ads [Ada] unicode-names-canadian_aboriginal_ext.ads [Ada] unicode-ces-utf32.adb [Ada] unicode-names-tamil.ads [Ada] unicode-names-mahjong_tiles.ads [Ada] gaia-pn-debug.adb [Ada] gaia-pn.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] gaia-pn-nodes.adb gaia-pn.adb:1575:45: (style) misplaced "then" gaia-pn.adb:1745:07: warning: use clause for package "Utils" has no effect [-gnatwu] gaia-pn.adb:1798:07: warning: use clause for package "Mgmt" has no effect [-gnatwu] [Ada] gaia-pn-nutils.adb gaia-pn-nutils.adb:48:07: warning: use clause for package "Namet" has no effect [-gnatwu] gaia-pn-nutils.adb:136:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:170:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:491:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:515:29: warning: formal parameter "N" is not modified [-gnatwk] gaia-pn-nutils.adb:515:29: warning: mode could be "in" instead of "in out" [-gnatwk] gaia-pn-nutils.adb:596:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:616:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:638:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:658:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:678:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:778:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:811:07: warning: use clause for package "Namet" has no effect [-gnatwu] gaia-pn-nutils.adb:812:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] [Ada] gaia-pn-generator.adb [Ada] gaia-pn-printer.adb gaia-pn-generator.adb:37:06: warning: unnecessary with of ancestor [-gnatwr] [Ada] gaia-messages.adb [Ada] gaia-mgmt.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] gaia-configuration.adb [Ada] gaia-processor.adb gaia-pn-printer.adb:206:07: warning: use clause for package "OAV" has no effect [-gnatwu] gaia-pn-printer.adb:225:07: warning: use clause for package "OAV" has no effect [-gnatwu] gaia-pn-printer.adb:287:07: warning: use clause for package "OAV" has no effect [-gnatwu] gaia-pn-printer.adb:298:07: warning: use clause for package "OAV" has no effect [-gnatwu] gaia-pn-printer.adb:605:07: warning: use clause for package "Mgmt" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] gaia-processor-entities-features.adb [Ada] gaia-utils.adb [Ada] gaia-processor-debug.adb gaia-processor.adb:162:07: warning: use clause for package "Output" has no effect [-gnatwu] gaia-processor.adb:168:07: warning: use clause for package "Processor" has no effect [-gnatwu] gaia-processor.adb:297:07: warning: use clause for package "Processor" has no effect [-gnatwu] gaia-processor.adb:356:07: warning: use clause for package "Namet" has no effect [-gnatwu] gaia-processor.adb:358:07: warning: use clause for package "Processor" has no effect [-gnatwu] gaia-processor.adb:420:45: (style) misplaced "then" gaia-processor.adb:505:13: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] gaia-translator.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] gaia-processor-entities-namespaces.adb [Ada] gaia-generator.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] gaia-processor-entities-subprogram_calls.adb gaia-processor-entities-namespaces.adb:53:43: (style) "in" should be omitted gaia-processor-entities-namespaces.ads:37:43: (style) "in" should be omitted [Ada] gaia-processor-entities.ads [Ada] gaia-processor-entities-components.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] gaia-processor-entities-connections.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] gaia.ads [Ada] gaia-processor-nodes.adb [Ada] gaia-processor-nodes-utils.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] gaia-processor-messages.adb gaia-processor-nodes-utils.adb:259:07: warning: use clause for package "ON" has no effect [-gnatwu] gaia-processor-nodes-utils.adb:472:07: warning: use clause for package "ON" has no effect [-gnatwu] gaia-processor-nodes-utils.adb:473:07: warning: use clause for package "Entities" has no effect [-gnatwu] gaia-processor-nodes-utils.ads:34:06: warning: unnecessary with of ancestor [-gnatwr] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-pn-nodes.adb gaia-processor-messages.adb:83:07: warning: use clause for package "Debug" has no effect [-gnatwu] gaia-processor-messages.adb:132:07: warning: use clause for package "Debug" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-pn-root.adb gaia-processor-entities-components.adb:46:06: warning: unnecessary with of ancestor [-gnatwr] gaia-processor-entities-components.adb:169:07: warning: use clause for package "Messages" has no effect [-gnatwu] gaia-processor-entities-components.adb:170:07: warning: use clause for package "ON" has no effect [-gnatwu] gaia-processor-entities-components.adb:204:07: warning: use clause for package "Processor" has no effect [-gnatwu] gaia-processor-entities-components.adb:306:52: (style) misplaced "then" gaia-processor-entities-components.adb:315:62: (style) misplaced "then" gaia-processor-entities-components.adb:364:20: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] gaia-processor-entities-components.adb:456:57: (style) misplaced "then" gaia-processor-entities-components.adb:739:14: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] gaia-processor-entities-components.adb:748:14: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] gaia-processor-entities-components.adb:761:14: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] gaia-processor-entities-components.adb:841:07: warning: use clause for package "Namet" has no effect [-gnatwu] gaia-processor-entities-components.adb:843:07: warning: use clause for package "Messages" has no effect [-gnatwu] gaia-processor-entities-components.adb:857:16: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-pn-debug.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-pn-utils.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-pn-nutils.adb ocarina-pn-nutils.adb:80:07: warning: use clause for package "Nodes" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-pn-printer.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-pn-messages.adb [Ada] ocarina-pn-printer-components.adb ocarina-pn-printer-components.adb:37:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-pn-printer-components.adb:53:07: warning: use clause for package "Printer" has no effect [-gnatwu] ocarina-pn-printer-components.adb:110:07: warning: use clause for package "Printer" has no effect [-gnatwu] ocarina-pn-printer-components.adb:111:07: warning: use clause for package "Nodes" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-pn-components.adb ocarina-pn-printer.adb:94:07: warning: use clause for package "OAV" has no effect [-gnatwu] ocarina-pn-printer.adb:118:07: warning: use clause for package "OAV" has no effect [-gnatwu] ocarina-pn-printer.adb:196:07: warning: use clause for package "OAV" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-pn.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-checker-queries.adb ocarina-pn-components.adb:92:07: warning: use clause for package "Queries" has no effect [-gnatwu] ocarina-pn-components.adb:127:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-pn-components.adb:528:07: warning: use clause for package "ONU" has no effect [-gnatwu] ocarina-pn-components.adb:529:07: warning: use clause for package "OPU" has no effect [-gnatwu] ocarina-pn-components.adb:641:07: warning: use clause for package "ONU" has no effect [-gnatwu] [Ada] ocarina-checker-queries-dummy_predicates.adb [Ada] ocarina-checker.ads [Ada] ocarina-checker-queries-predicates.adb [Ada] ocarina-checker_testsuite.adb ocarina-checker-queries.adb:144:41: (style) misplaced "then" [Ada] ocarina-checker-queries-operators.adb [Ada] ocarina-checker-queries-bound_predicates.adb [Ada] ocarina-checker-queries-subcomponent_predicates.adb ocarina-checker_testsuite.adb:148:42: (style) misplaced "then" namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-checker-queries-relational_predicates.adb [Ada] ocarina-generators-po_qos_ada.adb [Ada] ocarina-generators-ada_tree-debug.adb [Ada] ocarina-generators-ada_values.adb ocarina-generators-po_qos_ada.adb:52:04: warning: use clause for package "Generator" has no effect [-gnatwu] ocarina-generators-po_qos_ada.adb:53:04: warning: use clause for package "Runtime" has no effect [-gnatwu] ocarina-generators-po_qos_ada.adb:55:04: warning: use clause for package "Build_Utils" has no effect [-gnatwu] [Ada] ocarina-generators-po_hi_ada-activity.adb [Ada] ocarina-generators-po_qos_ada-main.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_c-naming.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-ada_tree-nutils.adb [Ada] ocarina-generators-c_tree-generator.adb ocarina-generators-c_tree-generator.adb:732:44: (style) misplaced "then" namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_ada-ssra.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-c_tree-nutils.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_ada-handlers.adb [Ada] ocarina-generators-po_qos_ada-helpers.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_ada-naming.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-ada_tree.ads [Ada] ocarina-generators-po_hi_ada-system_time.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_ada-main.adb ocarina-generators-ada_tree-nutils.adb:187:43: (style) misplaced "then" namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-ada_tree-generator.adb [Ada] ocarina-generators-utils.adb ocarina-generators-c_tree-nutils.adb:1365:63: (style) misplaced "then" namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_c-deployment.adb [Ada] ocarina-generators-po_qos_ada-obj_adapters.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-messages.adb [Ada] ocarina-generators-po_hi_ada-types.adb [Ada] ocarina-generators-po_hi_ada-csra.adb [Ada] ocarina-generators-po_hi_c-mapping.adb [Ada] ocarina-generators-ada_tree-nodes.adb ocarina-generators-ada_tree-generator.adb:1582:43: (style) misplaced "then" namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-c_tree-nodes.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_c.adb ocarina-generators-po_hi_c.adb:46:04: warning: use clause for package "Activity" has no effect [-gnatwu] ocarina-generators-po_hi_c.adb:47:04: warning: use clause for package "Deployment" has no effect [-gnatwu] ocarina-generators-po_hi_c.adb:48:04: warning: use clause for package "Main" has no effect [-gnatwu] ocarina-generators-po_hi_c.adb:49:04: warning: use clause for package "Naming" has no effect [-gnatwu] ocarina-generators-po_hi_c.adb:51:04: warning: use clause for package "Generator" has no effect [-gnatwu] [Ada] ocarina-generators-properties.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_ada-subprograms.adb [Ada] ocarina-generators-c_tree-debug.adb ocarina-generators-properties.adb:448:57: (style) misplaced "then" ocarina-generators-properties.adb:465:20: (style) space required ocarina-generators-properties.adb:924:10: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] ocarina-generators-properties.adb:943:10: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] ocarina-generators-properties.adb:962:10: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] [Ada] ocarina-generators-po_hi_ada-mapping.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-build_utils.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_ada-internals.adb [Ada] ocarina-generators-po_qos_ada-namespaces.adb [Ada] ocarina-generators-po_hi_c-runtime.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_qos_ada-servants.adb [Ada] ocarina-generators-po_hi_c-activity.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_qos_ada-setup.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-c_tree.ads [Ada] ocarina-generators-c_values.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_qos_ada-mapping.adb [Ada] ocarina-generators.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_ada-runtime.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_c-main.adb [Ada] ocarina-generators-po_hi_ada-deployment.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_ada-marshallers.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-generators-po_hi_ada.adb [Ada] ocarina-generators-po_qos_ada-parameters.adb ocarina-generators-po_hi_ada.adb:58:04: warning: use clause for package "Generator" has no effect [-gnatwu] ocarina-generators-po_hi_ada.adb:59:04: warning: use clause for package "Runtime" has no effect [-gnatwu] [Ada] ocarina-generators-po_qos_ada-runtime.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-dumper.adb [Ada] ocarina-dumper-aadl_tree.adb [Ada] ocarina-aadl-printer-properties-values.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-aadl-parser-properties.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-aadl-printer-components-subcomponents.adb ocarina-aadl-printer-components-subcomponents.adb:45:04: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-aadl-parser.adb ocarina-aadl-printer-properties-values.adb:48:04: warning: use clause for package "AADL_Values" has no effect [-gnatwu] ocarina-aadl-printer-properties-values.adb:227:47: (style) misplaced "then" [Ada] ocarina-aadl-parser-components-features.adb ocarina-aadl-parser-properties.adb:476:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-properties.adb:477:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-properties.adb:550:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-properties.adb:715:07: warning: use clause for package "Properties" has no effect [-gnatwu] ocarina-aadl-parser-properties.adb:897:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-properties.adb:898:07: warning: use clause for package "Nutils" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-aadl-printer-components.adb ocarina-aadl-parser.adb:68:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser.adb:69:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser.adb:169:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser.adb:170:07: warning: use clause for package "Nutils" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-aadl-parser-components-subcomponents.adb ocarina-aadl-parser-components-features.adb:360:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-components-features.adb:458:07: warning: use clause for package "Nodes" has no effect [-gnatwu] [Ada] ocarina-aadl-parser-namespaces.adb [Ada] ocarina-aadl.adb [Ada] ocarina-aadl-printer-properties.adb [Ada] ocarina-aadl-printer.adb ocarina-aadl-parser-namespaces.adb:147:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-namespaces.adb:264:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-namespaces.adb:385:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-namespaces.adb:388:07: warning: use clause for package "Properties" has no effect [-gnatwu] [Ada] ocarina-aadl-printer-components-subprogram_calls.adb [Ada] ocarina-aadl-parser-components.adb [Ada] ocarina-aadl-printer-components-features.adb [Ada] ocarina-aadl-parser-components-connections.adb ocarina-aadl-printer-components-features.adb:38:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-aadl-printer-components-features.adb:46:04: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-aadl-parser-components-subprogram_calls.adb ocarina-aadl-parser-components.adb:313:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-components.adb:627:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-components.adb:811:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-components.adb:812:07: warning: use clause for package "Lexer" has no effect [-gnatwu] [Ada] ocarina-aadl-parser-annexes.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-aadl-parser-components-flows.adb [Ada] ocarina-aadl-printer-identifiers.adb [Ada] ocarina-aadl-parser_errors.adb [Ada] ocarina-aadl-printer-namespaces.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-aadl-parser-identifiers.adb ocarina-aadl-parser-components-flows.adb:76:07: warning: use clause for package "Tokens" has no effect [-gnatwu] ocarina-aadl-parser-components-flows.adb:319:07: warning: use clause for package "Flows" has no effect [-gnatwu] ocarina-aadl-parser-components-flows.adb:451:07: warning: use clause for package "Flows" has no effect [-gnatwu] ocarina-aadl-parser-components-flows.adb:519:07: warning: use clause for package "Nodes" has no effect [-gnatwu] [Ada] ocarina-aadl-lexer.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-aadl-printer-components-flows.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-aadl-printer-components-modes.adb ocarina-aadl-parser-identifiers.adb:49:07: warning: use clause for package "Tokens" has no effect [-gnatwu] ocarina-aadl-parser-identifiers.adb:79:50: (style) misplaced "then" ocarina-aadl-parser-identifiers.adb:156:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-identifiers.adb:192:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-identifiers.adb:193:07: warning: use clause for package "Nutils" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-aadl-parser-components-modes.adb ocarina-aadl-printer-components-flows.adb:84:58: (style) misplaced "then" ocarina-aadl-printer-components-flows.adb:91:58: (style) misplaced "then" [Ada] ocarina-aadl-tokens.adb [Ada] ocarina-aadl-parser-properties-values.adb ocarina-aadl-parser-components-modes.adb:200:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-components-modes.adb:433:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-components-modes.adb:492:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-components-modes.adb:493:07: warning: use clause for package "Tokens" has no effect [-gnatwu] [Ada] ocarina-aadl-printer-components-connections.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-aadl-printer-annexes.adb [Ada] ocarina.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-messages.adb ocarina-aadl-lexer.adb:63:62: (style) space required ocarina-aadl-lexer.adb:296:17: warning: redundant conversion, expression is of type "Long_Long_Float" [-gnatwr] ocarina-aadl-lexer.adb:653:52: (style) misplaced "then" namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-parser.adb ocarina.adb:46:07: warning: use clause for package "Namet" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-printer.adb ocarina-aadl-parser-properties-values.adb:372:07: warning: use clause for package "Identifiers" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:484:07: warning: use clause for package "Values" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:561:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1081:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1082:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1135:07: warning: use clause for package "Values" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1202:07: warning: use clause for package "Values" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1503:07: warning: use clause for package "Values" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1666:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1702:07: warning: use clause for package "Nodes" has no effect [-gnatwu] [Ada] ocarina-processor-instances-properties.adb [Ada] ocarina-expander-components-features.adb [Ada] ocarina-visitor-instances-properties.adb [Ada] ocarina-expander-queries.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-expander-components-subcomponents.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-expander-components.adb [Ada] ocarina-processor-instances.ads [Ada] ocarina-expander-properties.adb ocarina-expander-components-subcomponents.adb:39:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-expander-components-subcomponents.adb:49:04: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-expander-messages.adb [Ada] ocarina-expander.adb [Ada] ocarina-expander-finder.adb [Ada] ocarina-expander-components-connections.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-visitor-instances.ads [Ada] ocarina-expander-components-subprogram_calls.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-expander-namespaces.adb [Ada] ocarina-builder-components-features.adb [Ada] ocarina-analyzer-semantics.adb ocarina-expander-components-subprogram_calls.adb:38:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-expander-components-subprogram_calls.adb:48:04: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-builder-annexes.adb [Ada] ocarina-builder.ads [Ada] ocarina-builder-components.adb ocarina-builder-components-features.adb:36:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-builder-components-features.adb:96:07: warning: use clause for package "Components" has no effect [-gnatwu] ocarina-builder-components-features.adb:156:07: warning: use clause for package "Nutils" has no effect [-gnatwu] [Ada] ocarina-processor.ads ocarina-builder-annexes.adb:136:07: warning: use clause for package "Types" has no effect [-gnatwu] [Ada] ocarina-builder-namespaces.adb [Ada] ocarina-builder-properties.adb [Ada] ocarina-analyzer-names.adb [Ada] ocarina-builder-components-subcomponents.adb ocarina-builder-properties.adb:360:07: warning: use clause for package "Components" has no effect [-gnatwu] ocarina-builder-properties.adb:361:07: warning: use clause for package "Features" has no effect [-gnatwu] ocarina-builder-properties.adb:362:07: warning: use clause for package "Connections" has no effect [-gnatwu] ocarina-builder-properties.adb:363:07: warning: use clause for package "Flows" has no effect [-gnatwu] ocarina-builder-properties.adb:364:07: warning: use clause for package "Modes" has no effect [-gnatwu] ocarina-builder-properties.adb:365:07: warning: use clause for package "Subprogram_Calls" has no effect [-gnatwu] ocarina-builder-properties.adb:366:07: warning: use clause for package "Subcomponents" has no effect [-gnatwu] ocarina-builder-properties.adb:367:07: warning: use clause for package "Namespaces" has no effect [-gnatwu] [Ada] ocarina-analyzer-finder.adb [Ada] ocarina-builder-components-subprogram_calls.adb [Ada] ocarina-builder-components-flows.adb [Ada] ocarina-analyzer-messages.adb ocarina-builder-components-subprogram_calls.adb:143:07: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-analyzer-legality_rules.adb ocarina-builder-components-flows.adb:84:07: warning: use clause for package "Components" has no effect [-gnatwu] ocarina-builder-components-flows.adb:126:07: warning: use clause for package "Components" has no effect [-gnatwu] ocarina-builder-components-flows.adb:169:07: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-visitor-properties.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-visitor.ads [Ada] ocarina-processor-properties.adb [Ada] ocarina-visitor-components.adb ocarina-analyzer-legality_rules.adb:158:58: (style) misplaced "then" [Ada] ocarina-analyzer.adb [Ada] ocarina-analyzer-naming_rules.adb ocarina-analyzer.adb:52:04: warning: use clause for package "Naming_Rules" has no effect [-gnatwu] [Ada] ocarina-analyzer-queries.adb ocarina-analyzer-messages.adb:226:07: warning: use clause for package "Debug" has no effect [-gnatwu] ocarina-analyzer-messages.adb:560:07: warning: use clause for package "Entities" has no effect [-gnatwu] ocarina-analyzer-messages.adb:561:07: warning: use clause for package "Properties" has no effect [-gnatwu] ocarina-analyzer-messages.adb:585:07: warning: use clause for package "Properties" has no effect [-gnatwu] ocarina-analyzer-messages.adb:696:07: warning: use clause for package "Properties" has no effect [-gnatwu] ocarina-analyzer-messages.adb:728:07: warning: use clause for package "Properties" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-builder-components-connections.adb ocarina-processor-properties.adb:204:07: warning: use clause for package "Entities" has no effect [-gnatwu] ocarina-processor-properties.adb:205:07: warning: use clause for package "Queries" has no effect [-gnatwu] ocarina-processor-properties.adb:364:07: warning: use clause for package "Queries" has no effect [-gnatwu] ocarina-processor-properties.adb:978:07: warning: use clause for package "Queries" has no effect [-gnatwu] [Ada] ocarina-builder-components-modes.adb [Ada] ocarina-analyzer-links.adb ocarina-builder-components-modes.adb:115:07: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-entities-components.adb [Ada] ocarina-annotations.adb [Ada] ocarina-entities-properties.adb [Ada] ocarina-entities-namespaces.adb [Ada] ocarina-entities-messages.adb [Ada] ocarina-nodes.adb ocarina-entities-properties.adb:37:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-entities-properties.adb:118:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] ocarina-entities-properties.adb:164:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] ocarina-entities-properties.adb:432:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] ocarina-entities-properties.adb:507:07: warning: use clause for package "Entities" has no effect [-gnatwu] ocarina-entities-properties.adb:525:07: warning: use clause for package "Entities" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-debug.adb [Ada] ocarina-entities-components-subprogram_calls.adb ocarina-entities-components-subprogram_calls.adb:48:07: warning: use clause for package "Entities" has no effect [-gnatwu] [Ada] ocarina-entities-components-flows.adb [Ada] ocarina-nutils.adb [Ada] ocarina-aadl_values.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-entities.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] ocarina-entities-components-connections.adb [Ada] ocarina-entities-components-subcomponents.adb ocarina-entities.adb:365:07: warning: use clause for package "Nutils" has no effect [-gnatwu] namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] locations.adb ocarina-entities-components-subcomponents.adb:35:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-entities-components-subcomponents.adb:49:07: warning: use clause for package "Components" has no effect [-gnatwu] ocarina-entities-components-subcomponents.adb:78:07: warning: use clause for package "Entities" has no effect [-gnatwu] [Ada] utils.adb locations.adb:22:26: (style) "in" should be omitted namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] errors.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] namet.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] types.adb types.ads:34:06: warning: renamed predefined unit is an obsolescent feature (RM J.1) [-gnatwj] [Ada] charset.adb [Ada] output.adb [Ada] ocarina-configuration.adb namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] glib-xml_int.ads namet.ads:24:33: (style) space required namet.ads:24:34: (style) space required [Ada] gtkada-c.adb [Ada] gtkada-canvas_view.adb [Ada] gdk-window_attr.adb [Ada] gtkada-canvas_view-views.adb [Ada] gtk-tree_model-utils.adb [Ada] glib-key_file.adb [Ada] gtkada-canvas_view-objects.adb [Ada] gdk-rectangle.adb [Ada] pango.ads [Ada] glib-unicode.adb [Ada] glib-types.adb [Ada] gdk-main.adb [Ada] glib-graphs-layouts.adb [Ada] cairo-image_surface.adb [Ada] gdk-pixbuf.adb [Ada] glib.adb [Ada] gdk.ads [Ada] cairo-scaled_font.ads [Ada] cairo-png.adb [Ada] gtkada-canvas_view-links.adb [Ada] gtkada-printing.adb [Ada] gdk-cairo.adb [Ada] gtkada-application.adb [Ada] gtkada-pixmaps.ads [Ada] cairo-font_face.ads [Ada] gdk-input.ads [Ada] gtk-arguments.adb [Ada] gtkada-canvas_view-models.adb [Ada] cairo-pdf.adb [Ada] gtk-type_conversion.adb [Ada] glib-values.adb [Ada] gtk-text_child.adb [Ada] gdk-types.ads [Ada] gtkada-bindings.adb [Ada] glib-gslist.adb [Ada] gtkada-dialogs.adb [Ada] glib-generic_properties.adb [Ada] gtkada-builder.adb [Ada] gtk.ads [Ada] glib-xml.adb [Ada] gtkada-file_selection.adb [Ada] pango-cairo.adb [Ada] cairo.adb [Ada] cairo-svg.adb [Ada] glib-object.adb [Ada] gdk-types-keysyms.ads [Ada] cairo-font_options.adb [Ada] gtkada-canvas.adb [Ada] glib-gnodes.adb [Ada] gdk-visual.adb [Ada] gtkada-multi_paned.adb [Ada] gtkada-canvas_view-astar.adb [Ada] glib-messages.adb [Ada] gtkada-stock_icons.ads [Ada] gtkada-multiline_entry.adb [Ada] gdk-threads.ads [Ada] glib-module.adb [Ada] gtk-bindings.adb [Ada] gtkada-types.adb [Ada] glib-graphs.adb [Ada] gtkada-intl.adb [Ada] glib-convert.adb [Ada] gdk-display_manager.adb [Ada] gtkada-canvas_view-models-layers.adb [Ada] gtkada.ads [Ada] gtk-rc.adb [Ada] fontconfig.adb [Ada] gtkada-stock_labels.ads [Ada] gtk-handlers.adb [Ada] gtkada-mdi.adb [Ada] gdk-color.adb [Ada] gtkada-canvas_view-rtrees.adb [Ada] cairo-surface.adb [Ada] gdk-property.adb [Ada] gtkada-abstract_list_model.adb [Ada] gtkada-style.adb [Ada] glib-properties-creation.adb [Ada] glib-glist.adb [Ada] cairo-pattern.ads [Ada] cairo-matrix.ads [Ada] gtk-dnd.adb [Ada] gtkada-handlers.ads [Ada] glib-enums.ads [Ada] gdk-dnd.adb [Ada] gdk-keyval.adb [Ada] glib-type_conversion_hooks.adb [Ada] glib-main.adb [Ada] gtk-marshallers.adb [Ada] glib-error.adb [Ada] glib-properties.adb [Ada] gtkada-abstract_tree_model.adb [Ada] cairo-region.adb [Ada] gtk-text_attributes.adb [Ada] gtk-im_multi_context.adb [Ada] gtk-page_setup.adb [Ada] gtk-volume_button.adb [Ada] gtk-radio_button.adb [Ada] gtk-layout.adb [Ada] gtk-separator_tool_item.adb [Ada] gtk-cell_area_box.adb [Ada] gtk-action_bar.adb [Ada] gtk-action_group.adb [Ada] gtk-cell_view.adb [Ada] gdk-rgba.adb [Ada] gdk-event.adb [Ada] gtk-stack.adb [Ada] gtk-cell_renderer_accel.adb [Ada] gtk-print_operation.adb [Ada] gtk-button.adb [Ada] gtk-text_buffer.adb [Ada] gtk-text_tag.adb [Ada] gtk-recent_chooser_dialog.adb [Ada] gtk-tooltip.adb [Ada] gdk-cursor.adb [Ada] gtk-accel_map.adb [Ada] gtk-stack_switcher.adb [Ada] gtk-dialog.adb [Ada] gtk-list_box_row.adb [Ada] pango-fontset.adb [Ada] gtk-aspect_frame.adb [Ada] gtk-tool_palette.adb [Ada] gtk-search_bar.adb [Ada] gtk-radio_action.adb [Ada] gtk-clipboard.adb [Ada] gtk-css_provider.adb [Ada] gtk-box.adb [Ada] gtk-style_properties.adb [Ada] gtk-expander.adb [Ada] gtk-offscreen_window.adb [Ada] pango-layout.adb [Ada] glib-option.adb [Ada] gtk-text_view.adb [Ada] gtk-accel_group.adb [Ada] glib-application.adb [Ada] gtk-binding_set.adb [Ada] gtk-scrollable.adb [Ada] gtk-font_chooser.adb [Ada] gdk-drawing_context.adb [Ada] gtk-tool_shell.adb [Ada] pango-language.adb [Ada] gdk-device.adb [Ada] gtk-event_controller.adb [Ada] gtk-color_selection_dialog.adb [Ada] gtk-main.adb [Ada] gtk-spinner.adb [Ada] gtk-gesture_long_press.adb [Ada] gtk-file_chooser.adb [Ada] gtk-recent_manager.adb [Ada] gtk-cell_renderer_pixbuf.adb [Ada] gtk-flow_box.adb [Ada] gdk-frame_timings.adb [Ada] gtk-glarea.adb [Ada] gtk-adjustment.adb [Ada] glib-list_model.adb [Ada] gdk-monitor.adb [Ada] gtk-calendar.adb [Ada] gtk-popover.adb [Ada] gtk-tree_row_reference.adb [Ada] gtk-image.adb [Ada] gdk-device_tool.adb [Ada] gtk-builder.adb [Ada] gtk-hbutton_box.adb [Ada] gtk-style_provider.adb [Ada] gtk-frame.adb [Ada] gtk-gesture_pan.adb [Ada] gtk-symbolic_color.adb [Ada] gtk-tree_drag_dest.adb [Ada] gtk-color_chooser_widget.adb [Ada] gtk-recent_chooser_widget.adb [Ada] gdk-screen.adb [Ada] gtk-font_selection_dialog.adb [Ada] gtk-color_selection.adb [Ada] glib-utils.adb [Ada] gtk-handle_box.adb [Ada] gdk-drag_contexts.adb [Ada] pango-font_family.adb [Ada] gtk-orientable.adb [Ada] glib-cancellable.adb [Ada] gtk-cell_layout.adb [Ada] gtk-file_filter.adb [Ada] gtk-status_icon.adb [Ada] gtk-scrollbar.adb [Ada] glib-g_icon.adb [Ada] gtk-window.adb [Ada] gtk-level_bar.adb [Ada] gtk-stock.adb [Ada] gtk-search_entry.adb [Ada] gtk-cell_renderer.adb [Ada] gtk-icon_theme.adb [Ada] gtk-entry_buffer.adb [Ada] gtk-radio_tool_button.adb [Ada] gtk-menu.adb [Ada] gtk-target_entry.adb [Ada] gtk-im_context_simple.adb [Ada] gtk-tree_selection.adb [Ada] gtk-cell_area_context.adb [Ada] glib-action_group.adb [Ada] gtk-event_box.adb [Ada] gtk-file_chooser_widget.adb [Ada] gtk-recent_info.adb [Ada] pango-font_metrics.adb [Ada] gtk-tree_drag_source.adb [Ada] gtk-print_operation_preview.adb [Ada] gtk-overlay.adb [Ada] glib-menu_model.adb [Ada] gtk-cell_renderer_progress.adb [Ada] gtk-tool_button.adb [Ada] gtk-gentry.adb [Ada] gtk-check_menu_item.adb [Ada] gtk-color_chooser_dialog.adb [Ada] gtk-about_dialog.adb [Ada] gtk-flow_box_child.adb [Ada] gtk-application.adb [Ada] gtk-recent_action.adb [Ada] gtk-tree_view_column.adb [Ada] gtk-assistant.adb [Ada] glib-action.adb [Ada] gtk-paned.adb [Ada] gtk-tree_model.adb [Ada] gtk-icon_view.adb [Ada] gtk-tool_item.adb [Ada] gtk-gesture.adb [Ada] gtk-style_context.adb [Ada] gtk-gesture_single.adb [Ada] gtk-text_child_anchor.adb [Ada] gtk-color_button.adb [Ada] gtk-gesture_drag.adb [Ada] gtk-editable.adb [Ada] gtk-cell_renderer_text.adb [Ada] gtk-progress_bar.adb [Ada] gtk-font_button.adb [Ada] gtk-icon_factory.adb [Ada] gtk-tree_model_filter.adb [Ada] gtk-scrolled_window.adb [Ada] gtk-color_chooser.adb [Ada] gdk-device_manager.adb [Ada] gtk-tree_model_sort.adb [Ada] gtk-im_context.adb [Ada] gtk-file_chooser_dialog.adb [Ada] gdk-display.adb [Ada] gtk-selection_data.adb [Ada] gtk-accel_label.adb [Ada] gtk-theming_engine.adb [Ada] gtk-settings.adb [Ada] gtk-grid.adb [Ada] gtk-toggle_button.adb [Ada] gdk-frame_clock.adb [Ada] gtk-menu_tool_button.adb [Ada] glib-variant.adb [Ada] gtk-scale_button.adb [Ada] gtk-ui_manager.adb [Ada] gtk-invisible.adb [Ada] pango-tabs.adb [Ada] gtk-shortcuts_window.adb [Ada] gtk-font_chooser_widget.adb [Ada] gtk-combo_box_text.adb [Ada] gtk-buildable.adb [Ada] glib-simple_action.adb [Ada] gtk-grange.adb [Ada] gtk-toggle_tool_button.adb [Ada] gtk-header_bar.adb [Ada] gtk-fixed.adb [Ada] gtk-gesture_swipe.adb [Ada] gtk-cell_renderer_spinner.adb [Ada] pango-enums.adb [Ada] gtk-application_window.adb [Ada] gtk-activatable.adb [Ada] pango-matrix.adb [Ada] gtk-enums.adb [Ada] gdk-seat.adb [Ada] gtk-actionable.adb [Ada] glib-string.adb [Ada] gtk-menu_button.adb [Ada] gdk-window.adb gtk-enums.adb:38:04: warning: possible aliasing problem for type "Chars_Ptr" [enabled by default] gtk-enums.adb:38:04: warning: use -fno-strict-aliasing switch for references [enabled by default] gtk-enums.adb:38:04: warning: or use "pragma No_Strict_Aliasing (Chars_Ptr);" [enabled by default] [Ada] gtk-button_box.adb [Ada] gtk-print_settings.adb [Ada] gtk-drawing_area.adb [Ada] gtk-menu_item.adb [Ada] gtk-icon_set.adb [Ada] pango-coverage.adb [Ada] gtk-separator.adb [Ada] gtk-target_list.adb [Ada] gtk-paper_size.adb [Ada] gtk-hsv.adb [Ada] gtk-check_button.adb [Ada] gtk-cell_renderer_toggle.adb [Ada] gtk-recent_filter.adb [Ada] gtk-file_chooser_button.adb [Ada] glib-simple_action_group.adb [Ada] pango-attributes.adb [Ada] gtk-css_section.adb [Ada] gtk-viewport.adb [Ada] gtk-gesture_multi_press.adb [Ada] gtk-print_context.adb [Ada] pango-context.adb [Ada] gtk-radio_menu_item.adb [Ada] gtk-icon_source.adb [Ada] gtk-text_tag_table.adb [Ada] gtk-cell_renderer_combo.adb [Ada] glib-menu.adb [Ada] gtk-image_menu_item.adb [Ada] gtk-switch.adb [Ada] gtk-alignment.adb [Ada] gtk-cell_renderer_spin.adb [Ada] gtk-gesture_rotate.adb [Ada] gtk-info_bar.adb [Ada] gtk-tool_item_group.adb [Ada] gtk-link_button.adb [Ada] glib-poll.adb [Ada] gtk-table.adb [Ada] gtk-toggle_action.adb [Ada] gtk-label.adb [Ada] gtk-gesture_zoom.adb [Ada] gtk-gradient.adb [Ada] gtk-menu_shell.adb [Ada] gtk-container.adb [Ada] pango-font.adb [Ada] gtk-recent_chooser_menu.adb [Ada] gtk-tree_sortable.adb [Ada] pango-font_map.adb [Ada] gtk-arrow.adb [Ada] gtk-entry_completion.adb [Ada] pango-font_face.adb [Ada] gtk-separator_menu_item.adb [Ada] gtk-list_store.adb [Ada] gtk-tree_view.adb [Ada] gtk-vbutton_box.adb [Ada] gtk-toolbar.adb [Ada] gtk-tearoff_menu_item.adb [Ada] gtk-message_dialog.adb [Ada] gtk-spin_button.adb [Ada] gtk-revealer.adb [Ada] glib-action_map.adb [Ada] gtk-font_chooser_dialog.adb [Ada] gtk-action.adb [Ada] gtk-bin.adb [Ada] gtk-cell_area.adb [Ada] gtk-misc.adb [Ada] gtk-tree_store.adb [Ada] gtk-notebook.adb [Ada] glib-spawn.adb [Ada] gtk-combo_box.adb [Ada] gtk-widget.adb [Ada] gtk-list_box.adb [Ada] gtk-menu_bar.adb [Ada] gtk-font_selection.adb [Ada] gtk-status_bar.adb [Ada] gtk-cell_editable.adb [Ada] gdk-glcontext.adb [Ada] gtk-scale.adb [Ada] gtk-style.adb [Ada] glib-notification.adb [Ada] glib-iochannel.adb [Ada] gtk-size_group.adb [Ada] gtk-recent_chooser.adb [Ada] gtk-text_mark.adb [Ada] gtk-text_iter.adb [C] misc.c [C] misc_generated.c [Ada] aadl_parsers.adb [Ada] address_space_set.adb /home/runner/.local/share/alire/builds/gtkada_25.0.1_d3787772/36a864b79a646c62398e27ea1952bd5cab47a1b28a254214e8618a5c5b53bcc9/src/misc.c: In function 'ada_g_module_build_path': /home/runner/.local/share/alire/builds/gtkada_25.0.1_d3787772/36a864b79a646c62398e27ea1952bd5cab47a1b28a254214e8618a5c5b53bcc9/src/misc.c:161:3: warning: 'g_module_build_path' is deprecated [-Wdeprecated-declarations] 161 | return g_module_build_path (directory, module_name); | ^~~~~~ In file included from /usr/include/glib-2.0/gio/giomodule.h:31, from /usr/include/glib-2.0/gio/gio.h:102, from /usr/include/gtk-3.0/gdk/gdkapplaunchcontext.h:28, from /usr/include/gtk-3.0/gdk/gdk.h:32, from /home/runner/.local/share/alire/builds/gtkada_25.0.1_d3787772/36a864b79a646c62398e27ea1952bd5cab47a1b28a254214e8618a5c5b53bcc9/src/misc.c:38: /usr/include/glib-2.0/gmodule.h:142:23: note: declared here 142 | gchar* g_module_build_path (const gchar *directory, | ^~~~~~~~~~~~~~~~~~~ [Ada] buffer_set.adb [Ada] cache_access_profile_set.adb [Ada] cache_block_set.adb [Ada] cache_set.adb [Ada] call_framework.adb [Ada] call_scheduling_framework.adb [Ada] cfg_edge_set.adb [Ada] cfg_node_set.adb [Ada] cfg_set.adb [Ada] debug.adb [Ada] editor_config.adb [Ada] event_analyzer_set.adb [Ada] framework.adb [Ada] framework_config.adb [Ada] framework_config-extended.adb [Ada] graphical_editor.adb [Ada] graphical_editor-draw_scheduling.adb [Ada] graphical_editor-message_text.adb [Ada] initialize_framework.adb [Ada] io_tools.adb [Ada] message_set.adb [Ada] multiprocessor_services.adb [Ada] multiprocessor_services_interface.adb [Ada] network_set.adb [Ada] processor_set.adb [Ada] processors.adb [Ada] resource_set.adb [Ada] scheduler_interface.adb [Ada] systems.adb [Ada] task_group_set.adb [Ada] task_set.adb [Ada] translate.adb [Ada] unbounded_strings.adb [Ada] version.adb [Ada] xml_generic_parsers.adb [Ada] xml_generic_parsers-architecture.adb [Ada] caches.adb [Ada] objects.adb [Ada] objects-extended.adb [Ada] sets.adb [Ada] buffers.adb [Ada] queueing_systems.adb [Ada] integer_util.adb [Ada] resources.adb [Ada] scheduler_interface-extended.adb [Ada] tasks.adb [Ada] time_unit_events.adb [Ada] address_spaces.adb [Ada] mils_security.adb [Ada] aadl_config.ads [Ada] aadl_parser_interface.adb [Ada] core_units.adb [Ada] doubles.ads [Ada] memories.adb [Ada] offsets.adb [Ada] parameters.adb [Ada] task_dependencies.adb [Ada] cfg_edges.adb [Ada] integer_arrays.adb [Ada] tables.adb [Ada] cfg_nodes.adb [Ada] cfg_nodes-extended.adb [Ada] cfgs.adb [Ada] natural_util.adb [Ada] call_cache_framework.adb [Ada] call_dependency_framework.adb [Ada] call_design_pattern_framework.adb [Ada] call_framework_interface.adb [Ada] call_memory_framework.adb [Ada] call_network_framework.adb [Ada] call_random_framework.adb [Ada] call_resource_framework.adb [Ada] call_security_framework.adb [Ada] scheduling_options.ads [Ada] time_unit_events-extended.adb [Ada] translate-aadl_labels.adb [Ada] translate-english_labels.adb [Ada] translate-francais_labels.adb [Ada] xml_tag.adb [Ada] id_generators.adb [Ada] parameters-extended.adb [Ada] primitive_xml_strings.adb [Ada] convert_strings.adb [Ada] convert_unbounded_strings.adb [Ada] standards_io.ads [Ada] double_util.adb [Ada] event_analyzers.adb [Ada] expressions.adb [Ada] feasibility_test.ads [Ada] feasibility_test-feasibility_interval.adb [Ada] feasibility_test-periodic_task_worst_case_response_time.adb [Ada] feasibility_test-processor_demand.adb [Ada] feasibility_test-processor_utilization.adb [Ada] feasibility_test-transaction_worst_case_response_time.adb [Ada] partitioning_services.adb [Ada] priority_assignment.adb [Ada] priority_assignment-audsley_opa.adb [Ada] priority_assignment-audsley_opa_crpd.adb [Ada] priority_assignment-dm.adb [Ada] priority_assignment-rm.adb [Ada] processor_interface.adb [Ada] scheduler.adb [Ada] scheduler-fixed_priority.adb [Ada] scheduler-fixed_priority-dm.adb [Ada] scheduler-fixed_priority-rm.adb [Ada] scheduling_analysis.adb [Ada] scheduling_analysis-extended.ads [Ada] scheduling_analysis-extended-task_analysis.adb [Ada] scheduler_builder.adb [Ada] event_analyzers-extended.adb [Ada] messages.adb [Ada] graphical_editor-cheddar_callbacks.adb [Ada] graphical_editor-cheddar_callbacks-edit_menu.adb [Ada] graphical_editor-cheddar_callbacks-file_menu.adb [Ada] graphical_editor-cheddar_callbacks-help_menu.adb [Ada] graphical_editor-cheddar_callbacks-tool_menu.adb [Ada] graphical_editor-scheduling_simulations_callbacks.adb [Ada] graphical_editor-wizard.adb [Ada] graphical_editor-colors.adb [Ada] graphical_editor-select_time_line.adb [Ada] graphical_editor-user_message.adb [Ada] indexed_tables.adb [Ada] battery_set.adb [Ada] dependency_services.adb [Ada] interpreter.ads [Ada] interpreter-extended.adb [Ada] parser.adb [Ada] primitive_write_xml.adb [Ada] scheduler-hierarchical.adb [Ada] scheduler-hierarchical-offline.adb [Ada] scheduler-user_defined.adb [Ada] scheduler_io.adb [Ada] scheduling_anomalies_services.adb [Ada] scheduling_anomalies_services-online.adb [Ada] section_set.adb [Ada] sections.adb [Ada] statements.adb scheduling_anomalies_services-online.adb:226:12: warning: unreachable code [enabled by default] [Ada] voltage_scaling.adb [Ada] xml_generic_parsers-event_table.adb [Ada] networks.adb [Ada] lists.adb [Ada] memory_set.adb [Ada] task_groups.adb [Ada] offsets-extended.ads [Ada] strings.adb [Ada] v2_xml_parsers.adb [Ada] batteries.adb [Ada] cfg_node_set-basic_block_set.adb [Ada] scheduling_error_set.adb [Ada] scheduling_errors.adb [Ada] discrete_util.adb [Ada] access_lists.adb [Ada] basic_blocks.adb [Ada] dependencies.adb [Ada] xml_architecture_io.adb [Ada] xml_architecture_parser_interface.adb [Ada] basic_block_analysis.adb [Ada] architecture_analyzer.adb [Ada] scheduling_anomalies_services-offline.adb [Ada] spacewire_flow_transformation.adb [Ada] buffers-extended.adb [Ada] queueing_system.adb [Ada] queueing_system-theoretical.adb [Ada] queueing_system-theoretical-md1.adb [Ada] queueing_system-theoretical-mg1.adb [Ada] queueing_system-theoretical-mm1.adb [Ada] queueing_system-theoretical-mp1.adb [Ada] queueing_system-theoretical-pp1.adb [Ada] scheduling_analysis-extended-buffer_analysis.adb [Ada] feasibility_test-worst_case_blocking_time.adb [Ada] priority_assignment-ceiling_priority.adb [Ada] scheduling_analysis-extended-resource_analysis.adb [Ada] mils_analysis.adb [Ada] boolean_util.adb [Ada] real_util.adb [Ada] laws.adb [Ada] qs_tools.adb [Ada] simulations.adb [Ada] simulations-extended.adb [Ada] feasibility_test-periodic_task_worst_case_response_time_dynamic_priority.adb [Ada] feasibility_test-periodic_task_worst_case_response_time_fixed_priority.adb [Ada] scheduler-dynamic_priority.adb [Ada] scheduler-fixed_priority-hpf.adb [Ada] scheduler-dynamic_priority-edf.adb [Ada] scheduler-dynamic_priority-d_over.adb [Ada] scheduler-dynamic_priority-llf.adb [Ada] scheduler-dynamic_priority-muf.ads [Ada] priority_assignment-audsley_opa_crpd_pt.adb [Ada] priority_assignment-audsley_opa_crpd_tree.adb [Ada] priority_assignment-utility.adb [Ada] tasks-extended.adb [Ada] cache_utility.adb [Ada] scheduler-dag.ads [Ada] scheduler-dag-highest_level_first_estimated_times.adb [Ada] scheduler-dynamic_priority-edh.adb [Ada] scheduler-dynamic_priority-llf-runtime_based.adb [Ada] scheduler-dynamic_priority-muf-deadline_based.adb [Ada] scheduler-dynamic_priority-muf-laxity_based.adb [Ada] scheduler-fixed_priority-aperiodic_server.adb [Ada] scheduler-fixed_priority-aperiodic_server-deferrable.adb [Ada] scheduler-fixed_priority-aperiodic_server-polling.adb [Ada] scheduler-fixed_priority-aperiodic_server-priority_exchange.adb [Ada] scheduler-fixed_priority-aperiodic_server-sporadic.adb [Ada] scheduler-hierarchical-cyclic.adb [Ada] scheduler-hierarchical-fixed_priority.adb [Ada] scheduler-hierarchical-round_robin.adb [Ada] scheduler-mixed_criticality.adb [Ada] scheduler-mixed_criticality-amc.adb [Ada] scheduler-mixed_criticality-edf_vd.adb [Ada] scheduler-multiprocessor_specific.adb [Ada] scheduler-multiprocessor_specific-edzl.adb [Ada] scheduler-multiprocessor_specific-llref.adb [Ada] scheduler-multiprocessor_specific-pfair.adb [Ada] scheduler-multiprocessor_specific-pfair-pf.adb [Ada] scheduler-multiprocessor_specific-run.adb [Ada] scheduler-nothing.adb [Ada] scheduler-round_robin.adb [Ada] scheduler-time_sharing_based_on_cpu_usage.adb [Ada] scheduler-time_sharing_based_on_wait_time.adb [Ada] scheduler-user_defined-generated.adb [Ada] scheduler-user_defined-generated-compiled.adb [Ada] scheduler-user_defined-interpreted.adb [Ada] scheduler-user_defined-interpreted-automata.adb [Ada] scheduler-user_defined-interpreted-pipeline.adb [Ada] graphical_editor-aadl_options.adb [Ada] graphical_editor-about.adb [Ada] graphical_editor-address_spaces.adb [Ada] graphical_editor-analysis_on_event_table.adb [Ada] graphical_editor-asynchronous_communication_dependency.adb [Ada] graphical_editor-black_board_buffer_dependency.adb [Ada] graphical_editor-buffers.adb [Ada] graphical_editor-caches.adb [Ada] graphical_editor-cores.adb [Ada] graphical_editor-event_analyzers.adb [Ada] graphical_editor-event_tables.adb [Ada] graphical_editor-feasibility_test_options.adb [Ada] graphical_editor-file_selector.adb [Ada] graphical_editor-manuals.adb [Ada] graphical_editor-messages.adb [Ada] graphical_editor-networks.adb [Ada] graphical_editor-precedence_dependency.adb [Ada] graphical_editor-priorities.adb [Ada] graphical_editor-processors.adb [Ada] graphical_editor-queueing_buffer_dependency.adb [Ada] graphical_editor-resource_dependency.adb [Ada] graphical_editor-resources.adb [Ada] graphical_editor-scheduling_feasibility_widgets.adb [Ada] graphical_editor-scheduling_options.adb [Ada] graphical_editor-scheduling_refs.adb [Ada] graphical_editor-scheduling_simulations.adb [Ada] graphical_editor-task_groups.adb [Ada] graphical_editor-tasks.adb [Ada] graphical_editor-time_triggered_communication_dependency.adb [Ada] graphical_editor-wizard_callbacks.adb [Ada] graphical_editor-generic_package_widget.adb [Ada] graphical_editor-user_message_callbacks.adb [Ada] graphical_editor-select_time_line-callbacks.adb [Ada] automaton.adb [Ada] automaton-extended.adb [Ada] scheduler_dfa.adb [Ada] scheduler_goto.ads [Ada] scheduler_lex.adb [Ada] scheduler_shift_reduce.ads [Ada] scheduler_tokens.ads [Ada] statements-extended.adb [Ada] object_set.adb [Ada] applicability_constraint.ads [Ada] applicability_constraint-all_tasks_are_periodic.adb [Ada] applicability_constraint-all_tasks_are_periodic_or_sporadic.adb [Ada] applicability_constraint-allowed_protocol.adb [Ada] applicability_constraint-at_least_one_buffer.adb [Ada] applicability_constraint-at_least_one_data.adb [Ada] applicability_constraint-ceiling_priority_assignment.adb [Ada] applicability_constraint-data_connectivity.adb [Ada] applicability_constraint-data_sharing_protocol.adb [Ada] applicability_constraint-no_buffer.adb [Ada] applicability_constraint-no_dependencies.adb [Ada] applicability_constraint-no_shared_cpu.adb [Ada] applicability_constraint-no_shared_resources.adb [Ada] applicability_constraint-period_equal_deadline_constraint.adb [Ada] applicability_constraint-period_larger_than_deadline_constraint.adb [Ada] applicability_constraint-period_smaller_than_deadline_constraint.adb [Ada] applicability_constraint-pip_no_deadlock.adb [Ada] applicability_constraint-simultaneous_release_time_constraint.adb [Ada] applicability_constraint-uniprocessor.adb [Ada] applicability_constraint-uniprocessor_preemptivity.adb [Ada] applicability_constraint-uniprocessor_quantum.adb [Ada] applicability_constraint-uniprocessor_scheduling_protocol.adb [Ada] applicability_constraint-unsimultaneous_release_time_constraint.adb [Ada] applicability_constraints_main_structure.adb [Ada] applicability_constraints_main_structure-extended.adb [Ada] architecture_factory.adb [Ada] dp_graph.adb [Ada] dp_graph-extended.adb [Ada] dp_graph_view.adb [Ada] feasibility_tests_for_time_triggered_communication.adb [Ada] feasibility_tests_main_structure_factory.adb [Ada] generic_graph.adb [Ada] mesh_analysis.adb [Ada] mesh_analysis-delays.adb [Ada] random_tools.adb [Ada] feasibility_test-cache_interferences.adb [Ada] feasibility_test-memory_interferences.adb [Ada] fifos.adb [Ada] stacks.adb [Ada] arinc_653_schema.adb [Ada] data_accesses.adb [Ada] dfg_nodes.adb [Ada] execution_units.adb [Ada] partitioning_algorithms.adb [Ada] graphical_editor-about_callbacks.adb [Ada] graphical_editor-aadl_options_callbacks.adb [Ada] graphical_editor-convert_text.adb [Ada] graphical_editor-generic_callbacks.adb [Ada] graphical_editor-analysis_on_event_table_callbacks.adb [Ada] graphical_editor-manual_callbacks.adb [Ada] graphical_editor-event_tables_callbacks.adb [Ada] graphical_editor-feasibility_test_option_callbacks.adb [Ada] arinc_653_services.adb [Ada] graphical_editor-file_selector_callbacks.adb [Ada] graphical_editor-priorities_audsley_callbacks.adb [Ada] graphical_editor-priorities_audsley_crpd_callbacks.adb [Ada] graphical_editor-priorities_dm_callbacks.adb [Ada] graphical_editor-priorities_rm_callbacks.adb [Ada] graphical_editor-scheduling_feasibility_widget_callbacks.adb [Ada] graphical_editor-scheduling_option_callbacks.adb [Ada] graphical_editor-scheduling_ref_callbacks.adb [Ada] generic_graph-extended.adb [Ada] applicability_constraint-arbitrary_deadlines.adb [Ada] feasibility_tests_for_ravenscar.adb [Ada] feasibility_tests_for_unplugged.adb Build Libraries [gprlib] gtkada.lexch [gprlib] ocarina.lexch [gprlib] ocarina-aadl.lexch [archive] libgtkada.a [archive] libocarina.a [index] libocarina.a [gprlib] ocarina-dumper.lexch [gprlib] ocarina-checker.lexch [gprlib] ocarina-generators.lexch [archive] libocarina-aadl.a [archive] libocarina-dumper.a [archive] libocarina-checker.a [index] libocarina-dumper.a [index] libocarina-checker.a [index] libocarina-aadl.a [gprlib] ocarina-pn.lexch [gprlib] ocarina-gaia.lexch [archive] libocarina-generators.a [archive] libocarina-pn.a [gprlib] ocarina-config.lexch [index] libocarina-pn.a [archive] libocarina-gaia.a [index] libocarina-gaia.a [index] libocarina-generators.a [archive] libocarina-config.a [gprlib] xmlada_unicode.lexch [index] libocarina-config.a [gprlib] xmlada_input_sources.lexch [archive] libxmlada_unicode.a [index] libxmlada_unicode.a [gprlib] xmlada_sax.lexch [archive] libxmlada_input_sources.a [index] libxmlada_input_sources.a [gprlib] xmlada_dom.lexch [archive] libxmlada_sax.a [index] libxmlada_sax.a [gprlib] xmlada_schema.lexch [archive] libxmlada_dom.a [index] libxmlada_dom.a [archive] libxmlada_schema.a [index] libxmlada_schema.a [index] libgtkada.a Bind [gprbind] cheddar.bexch [Ada] cheddar.ali Link [link] cheddar.adb cheddar=3.3.0 successfully retrieved and built. Dependencies were solved as follows: +b gnat 13.2.2 (new,gnat_native,indirect,binary) + gtkada 25.0.1 (new) +b libgtk3 3.24.41 (new,indirect,system package) +b make 4.3.0 (new,indirect,system package) + ocarina_lib 1.1.0-20070603 (new) +b pkg_config 1.8.1 (new,indirect,system package) + xmlada 25.0.0 (new) Found declared GPR file: gpr/cheddar.gpr