On 08/12/2018 11:26 AM, Pascal via Gnoga-list wrote: > > Just get last commit on https://sourceforge.net/p/gnoga, do: > $ git clone https://git.code.sf.net/p/gnoga/code gnoga-code > $ git checkout dev_1.4 > $ make all
This gives me [Ada] gnoga-gui-view.adb gnoga-gui-plugin-ace_editor-console_io.adb:236:14: no selector "Show_Gutter" for type "Console_IO_Type" defined at gnoga-gui-plugin-ace_editor-console_io.ads:167 gnoga-gui-plugin-ace_editor-console_io.adb:255:14: no selector "Wrap_Limit" for type "Console_IO_Type" defined at gnoga-gui-plugin-ace_editor-console_io.ads:167 gnoga-gui-plugin-ace_editor-console_io.adb:266:10: warning: Set_Page_Length unimplemented gnoga-gui-plugin-ace_editor-console_io.adb:277:21: no selector "Wrap_Limit" for type "Console_IO_Type" defined at gnoga-gui-plugin-ace_editor-console_io.ads:167 gnoga-gui-plugin-ace_editor-console_io.adb:286:21: no selector "Last_Visible_Row" for type "Console_IO_Type" defined at gnoga-gui-plugin-ace_editor-console_io.ads:167 gnoga-gui-plugin-ace_editor-console_io.adb:286:48: no selector "First_Visible_Row" for type "Console_IO_Type" defined at gnoga-gui-plugin-ace_editor-console_io.ads:167 gnoga-gui-plugin-ace_editor-console_io.adb:356:36: warning: Skip_Page unimplemented gnoga-gui-plugin-ace_editor-console_io.adb:367:36: warning: End_Of_Page unimplemented gnoga-gui-plugin-ace_editor-console_io.adb:377:22: "Position_Type" is not visible gnoga-gui-plugin-ace_editor-console_io.adb:377:22: non-visible declaration at gnoga-gui-element.ads:278 gnoga-gui-plugin-ace_editor-console_io.adb:390:22: "Position_Type" is not visible gnoga-gui-plugin-ace_editor-console_io.adb:390:22: non-visible declaration at gnoga-gui-element.ads:278 gnoga-gui-plugin-ace_editor-console_io.adb:530:22: "Position_Type" is not visible gnoga-gui-plugin-ace_editor-console_io.adb:530:22: non-visible declaration at gnoga-gui-element.ads:278 gnoga-gui-plugin-ace_editor-console_io.adb:531:42: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:532:42: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:543:19: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:549:19: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:561:25: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:562:25: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:562:39: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:563:46: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:563:55: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:569:25: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:570:25: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:570:39: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:571:46: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:571:55: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:580:43: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:580:52: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:581:25: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:589:37: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:589:46: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:590:19: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:606:37: invalid prefix in selected component "Pos" gnoga-gui-plugin-ace_editor-console_io.adb:610:21: no selector "Text_Range" for type "Console_IO_Type" defined at gnoga-gui-plugin-ace_editor-console_io.ads:167 gnoga-gui-plugin-ace_editor-console_io.ads:168:16: "Anchor_Type" is undefined gnoga-gui-base.adb:128:07: warning: named number "No_Button" is not referenced compilation of gnoga-gui-plugin-ace_editor-console_io.adb failed gprbuild: *** compilation phase failed Makefile:189: recipe for target 'gnoga' failed make: *** [gnoga] Error 4 Xubuntu 18.04, GNAT 8.0.1 -- Jeff Carter "All citizens will be required to change their underwear every half hour. Underwear will be worn on the outside, so we can check." Bananas 29 ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Gnoga-list mailing list Gnoga-list@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/gnoga-list