> Le 12 août 2018 à 11:43, Jeffrey R. Carter <jrcar...@acm.org> a écrit : > > 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
Hello Jeff, I haven't yet any ideas of root cause of your reported issue. Did you start from a fresh empty folder (in order to prevent some GIT malicious effects)? Regards, Pascal. http://blady.pagesperso-orange.fr ------------------------------------------------------------------------------ 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