{"action":"created","issue":{"url":"https://api.github.com/repos/OpenAADL/ocarina/issues/76","repository_url":"https://api.github.com/repos/OpenAADL/ocarina","labels_url":"https://api.github.com/repos/OpenAADL/ocarina/issues/76/labels{/name}","comments_url":"https://api.github.com/repos/OpenAADL/ocarina/issues/76/comments","events_url":"https://api.github.com/repos/OpenAADL/ocarina/issues/76/events","html_url":"https://github.com/OpenAADL/ocarina/issues/76","id":190001749,"number":76,"title":"Compilation fails","user":{"login":"lounick","id":1877437,"avatar_url":"https://avatars.githubusercontent.com/u/1877437?v=3","gravatar_id":"","url":"https://api.github.com/users/lounick","html_url":"https://github.com/lounick","followers_url":"https://api.github.com/users/lounick/followers","following_url":"https://api.github.com/users/lounick/following{/other_user}","gists_url":"https://api.github.com/users/lounick/gists{/gist_id}","starred_url":"https://api.github.com/users/lounick/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lounick/subscriptions","organizations_url":"https://api.github.com/users/lounick/orgs","repos_url":"https://api.github.com/users/lounick/repos","events_url":"https://api.github.com/users/lounick/events{/privacy}","received_events_url":"https://api.github.com/users/lounick/received_events","type":"User","site_admin":false},"labels":[{"id":24850006,"url":"https://api.github.com/repos/OpenAADL/ocarina/labels/question","name":"question","color":"cc317c","default":true}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-11-17T10:16:29Z","updated_at":"2016-11-17T14:05:32Z","closed_at":null,"body":"Hi I'm trying to compile ocarina and I get the following error. My ADA knowledge is virtually 0 so I can't provide more help :(\r\n\r\n```Making all in support\r\nmake[1]: Entering directory `/home/niko/src/ocarina/support'\r\nmake[1]: Nothing to be done for `all'.\r\nmake[1]: Leaving directory `/home/niko/src/ocarina/support'\r\nMaking all in tools\r\nmake[1]: Entering directory `/home/niko/src/ocarina/tools'\r\nmake[2]: Entering directory `/home/niko/src/ocarina/tools'\r\nmake[2]: Nothing to be done for `all-am'.\r\nmake[2]: Leaving directory `/home/niko/src/ocarina/tools'\r\nmake[1]: Leaving directory `/home/niko/src/ocarina/tools'\r\nMaking all in projects\r\nmake[1]: Entering directory `/home/niko/src/ocarina/projects'\r\nif [ -f ../tools/mknodes/mknodes.gpr ]; then \\\r\n\t   mkdir -p ../tools/mknodes/objects; \\\r\n\t    \\\r\n\t     gnatmake -P ../tools/mknodes/mknodes.gpr \\\r\n\t     -XABS_SRC_DIR=\"/home/niko/src/ocarina/src\" \\\r\n\t     -XABS_BUILD_DIR=\"/home/niko/src/ocarina/src\" \\\r\n\t     -aP../projects -aP../projects \\\r\n\t     -XBUILD=release ; \\\r\n\tfi\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/tools/mknodes/mknodes.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/tools/mknodes/parser.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/tools/mknodes/errors.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/tools/mknodes/lexer.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/tools/mknodes/namet.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/tools/mknodes/output.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/tools/mknodes/types.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/tools/mknodes/utils.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/tools/mknodes/locations.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/tools/mknodes/charset.adb\r\ngnatbind -t -static -I- -x /home/niko/src/ocarina/tools/mknodes/objects/mknodes.ali\r\ngnatlink /home/niko/src/ocarina/tools/mknodes/objects/mknodes.ali -o /home/niko/src/ocarina/tools/mknodes/mknodes\r\nmake 'GEN_MODE=soft' ../src/core/tree/ocarina-me_aadl-aadl_tree-nodes.ads ../src/core/tree/ocarina-me_aadl-aadl_instances-nodes.ads ../src/core/tree/ocarina-me_aadl_ba-ba_tree-nodes.ads ../src/core/tree/ocarina-me_real-real_tree-nodes.ads ../src/backends/ocarina-backends-ada_tree-nodes.ads ../src/backends/ocarina-backends-c_tree-nodes.ads ../src/backends/ocarina-backends-asn1_tree-nodes.ads ../src/backends/ocarina-backends-xml_tree-nodes.ads ../src/backends/ocarina-backends-pn-nodes.ads ../src/backends/ocarina-backends-mast_tree-nodes.ads\r\nmake[2]: Entering directory `/home/niko/src/ocarina/projects'\r\nmake[2]: `../src/core/tree/ocarina-me_aadl-aadl_tree-nodes.ads' is up to date.\r\nmake[2]: `../src/core/tree/ocarina-me_aadl-aadl_instances-nodes.ads' is up to date.\r\nmake[2]: `../src/core/tree/ocarina-me_aadl_ba-ba_tree-nodes.ads' is up to date.\r\nmake[2]: `../src/core/tree/ocarina-me_real-real_tree-nodes.ads' is up to date.\r\nmake[2]: `../src/backends/ocarina-backends-ada_tree-nodes.ads' is up to date.\r\nmake[2]: `../src/backends/ocarina-backends-c_tree-nodes.ads' is up to date.\r\nmake[2]: `../src/backends/ocarina-backends-asn1_tree-nodes.ads' is up to date.\r\nmake[2]: `../src/backends/ocarina-backends-xml_tree-nodes.ads' is up to date.\r\nmake[2]: `../src/backends/ocarina-backends-pn-nodes.ads' is up to date.\r\nmake[2]: `../src/backends/ocarina-backends-mast_tree-nodes.ads' is up to date.\r\nmake[2]: Leaving directory `/home/niko/src/ocarina/projects'\r\ngnatmake \\\r\n\t  -j4 -P ocarina-core.gpr -XBUILD=release -XLIBRARY_TYPE=static \\\r\n\t  -XABS_SRC_DIR=\"/home/niko/src/ocarina/src\" \\\r\n\t  -XABS_BUILD_DIR=\"/home/niko/src/ocarina/src\" \\\r\n\t  -aP../projects -aP../projects;\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/src/core/instance/ocarina-instances-components-features.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/src/core/instance/ocarina-instances-messages.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/src/core/instance/ocarina-instances-real_checker-queries-passing_predicates.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/src/core/model/ocarina-builder-aadl-components-flows.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/src/core/common_files/outfiles.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/src/core/model/ocarina-builder-aadl-components-modes.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/src/core/model/ocarina-builder-aadl_ba.ads\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/src/core/instance/ocarina-instances-components-modes.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/src/core/model/ocarina-analyzer-aadl-finder.adb\r\ngcc-4.6 -c -gnatec=/home/niko/src/ocarina/src/../projects/restrictions.adc -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn -I- -gnatA /home/niko/src/ocarina/src/core/model/ocarina-builder-aadl-components-prototypes.adb\r\nocarina-aadl_values.ads:68:26: missing operand\r\ngnatmake: \"/home/niko/src/ocarina/src/core/model/ocarina-analyzer-aadl-finder.adb\" compilation error\r\nmake[1]: *** [ocarina-core.gpr-build] Error 4\r\nmake[1]: Leaving directory `/home/niko/src/ocarina/projects'\r\nmake: *** [all-recursive] Error 1\r\n```\r\n\r\nThe output of the configure command is: \r\n```\r\nchecking build system type... x86_64-unknown-linux-gnu\r\nchecking host system type... x86_64-unknown-linux-gnu\r\nchecking target system type... x86_64-unknown-linux-gnu\r\nchecking for a BSD-compatible install... /usr/bin/install -c\r\nchecking whether build environment is sane... yes\r\n/home/niko/src/ocarina/support/missing: Unknown `--is-lightweight' option\r\nTry `/home/niko/src/ocarina/support/missing --help' for more information\r\nconfigure: WARNING: 'missing' script is too old or missing\r\nchecking for a thread-safe mkdir -p... /bin/mkdir -p\r\nchecking for gawk... gawk\r\nchecking whether make sets $(MAKE)... yes\r\nchecking whether make supports nested variables... yes\r\nchecking how to create a pax tar archive... gnutar\r\nchecking for mv... mv\r\nchecking for rm... rm\r\nchecking for cp... cp\r\nchecking for grep... grep\r\nchecking for chmod... chmod\r\nchecking for strip... strip\r\nchecking for ranlib... ranlib\r\nchecking for style of include used by make... GNU\r\nchecking for gcc... gcc\r\nchecking whether the C compiler works... yes\r\nchecking for C compiler default output file name... a.out\r\nchecking for suffix of executables... \r\nchecking whether we are cross compiling... no\r\nchecking for suffix of object files... o\r\nchecking whether we are using the GNU C compiler... yes\r\nchecking whether gcc accepts -g... yes\r\nchecking for gcc option to accept ISO C89... none needed\r\nchecking whether gcc understands -c and -o together... yes\r\nchecking dependency style of gcc... none\r\nchecking for gnatmake... gnatmake\r\nchecking for gnatgcc... gnatgcc\r\nchecking for gnatchop... gnatchop\r\nchecking if the Ada compiler works... yes\r\nchecking if the Ada compiler works... yes\r\nchecking whether gnatmake supports -aPdir... yes\r\nchecking for gnatclean... gnatclean\r\nchecking for gnatls... gnatls\r\nchecking for python... /usr/bin/python\r\nchecking for python version... 2.7\r\nchecking for python platform... linux2\r\nchecking for python script directory... ${prefix}/lib/python2.7/dist-packages\r\nchecking for python extension module directory... ${exec_prefix}/lib/python2.7/dist-packages\r\nchecking for gnused... no\r\nchecking for gsed... no\r\nchecking for sed... yes\r\nchecking the path kind used by the Ada compiler... UNIX\r\nchecking for gmake... no\r\nchecking for gnumake... no\r\nchecking for make... make\r\nchecking whether make is a GNU make... yes.\r\nchecking XmlAda... no\r\nchecking AADL runtime to build... \r\nchecking for default AADL version... v1\r\nchecking whether this is a SCM working copy... yes: r7c60fea.\r\nchecking the configuration full date... Thursday 17 November 2016, 11:13:35.\r\nchecking the configuration year... 2016\r\nchecking for texi2html... no\r\nchecking that generated files are newer than configure... done\r\nconfigure: creating ./config.status\r\nconfig.status: creating Makefile\r\nconfig.status: creating doc/Makefile\r\nconfig.status: creating doc/real/Makefile\r\nconfig.status: creating examples/Makefile\r\nconfig.status: creating examples/real/Makefile\r\nconfig.status: creating examples/real/lib/Makefile\r\nconfig.status: creating examples/real/resources/Makefile\r\nconfig.status: creating examples/real/safety/Makefile\r\nconfig.status: creating examples/real/security/Makefile\r\nconfig.status: creating projects/Makefile\r\nconfig.status: creating projects-distrib/Makefile\r\nconfig.status: creating resources/Makefile\r\nconfig.status: creating resources/behavioural_properties/Makefile\r\nconfig.status: creating resources/runtime/Makefile\r\nconfig.status: creating resources/runtime/aadl_xml/Makefile\r\nconfig.status: creating resources/runtime/alloy/Makefile\r\nconfig.status: creating resources/runtime/cheddar/Makefile\r\nconfig.status: creating resources/runtime/python/Makefile\r\nconfig.status: creating projects/ocarina.gpr\r\nconfig.status: creating src/main/Makefile\r\nconfig.status: creating src/config/ocarina-configuration.adb\r\nconfig.status: creating src/frontends/Makefile\r\nconfig.status: creating src/config/Makefile\r\nconfig.status: creating src/core/Makefile\r\nconfig.status: creating src/transfo/Makefile\r\nconfig.status: creating src/backends/Makefile\r\nconfig.status: creating src/python/Makefile\r\nconfig.status: creating src/Makefile\r\nconfig.status: creating support/Makefile\r\nconfig.status: creating support/strip_wrapper.sh\r\nconfig.status: creating tools/Makefile\r\nconfig.status: creating tools/gendoc.py\r\nconfig.status: creating tools/compare.py\r\nconfig.status: creating ocarina-config\r\nconfig.status: executing depfiles commands\r\nconfigure: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\r\nconfigure: Ocarina configuration is complete!\r\nconfigure: Including the following Ocarina modules: \r\nconfigure: GNU make command name: \"make\"\r\nconfigure: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\r\n```\r\n\r\nSystem is an Ubuntu 14.04 x86_64."},"comment":{"url":"https://api.github.com/repos/OpenAADL/ocarina/issues/comments/261254465","html_url":"https://github.com/OpenAADL/ocarina/issues/76#issuecomment-261254465","issue_url":"https://api.github.com/repos/OpenAADL/ocarina/issues/76","id":261254465,"user":{"login":"yoogx","id":1502063,"avatar_url":"https://avatars.githubusercontent.com/u/1502063?v=3","gravatar_id":"","url":"https://api.github.com/users/yoogx","html_url":"https://github.com/yoogx","followers_url":"https://api.github.com/users/yoogx/followers","following_url":"https://api.github.com/users/yoogx/following{/other_user}","gists_url":"https://api.github.com/users/yoogx/gists{/gist_id}","starred_url":"https://api.github.com/users/yoogx/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/yoogx/subscriptions","organizations_url":"https://api.github.com/users/yoogx/orgs","repos_url":"https://api.github.com/users/yoogx/repos","events_url":"https://api.github.com/users/yoogx/events{/privacy}","received_events_url":"https://api.github.com/users/yoogx/received_events","type":"User","site_admin":false},"created_at":"2016-11-17T14:05:31Z","updated_at":"2016-11-17T14:05:31Z","body":"Hi,\r\n\r\nI guess you used the default GNAT provided with Ubuntu 14.04\r\nWhat is the output of \"gnatls -v\" in a terminal ?\r\nIt should be either GCC 6.1 or GNAT GPL 2016 (the one I test). Older versions may work. GCC 4.x is definitely too old as I require some extensions of Ada 2012\r\n\r\nRegards"}}
{"actor":{"display_login":"yoogx"}}