Hello David, it's ok.
For installation, I also want to add docs, tutorial and demo in share/gnoga, I
modify gnoga.gpr like that:
--- ./src/gnoga.gpr.0 2015-07-06 22:15:30.000000000 +0200
+++ ./src/gnoga.gpr 2015-07-08 20:55:05.000000000 +0200
@@ -18,4 +18,8 @@
for Documentation_Dir use "../docs/html/gnoga_rm";
end IDE;
+ package Install is
+ for Artifacts ("share/gnoga") use ("../docs/html", "../docs/user_guide",
"../demo", "../tutorial");
+ end Install;
+
end Gnoga;
It is well done by gprinstall but the tutorial and demo gpr project files are
not directly usable mainly because of lack ok settings.gpr.
How to do it?
Thanks, Pascal.
http://blady.pagesperso-orange.fr
Le 27 juil. 2015 à 21:40, Rabbi David Botton <[email protected]> a écrit :
> Not sure why, but I made another small adjustment. Do make cleanall and then
> make and let me know if any issues. Is working ok on my Mac.
>
> David Botton
>
>
> On Mon, Jul 27, 2015 at 2:59 PM Pascal <[email protected]> wrote:
> Hello David,
>
> last makefile runs with error:
>
> cd tools && gprbuild -p -Ptools.gpr -XPRJ_TARGET=OSX
> tools.gpr:1:06: unknown project file: "../lib/gnoga"
> gprbuild: "tools.gpr" processing failed
>
> HTH, Pascal.
> http://blady.pagesperso-orange.fr
>
>
> Le 27 juil. 2015 à 20:45, Rabbi David Botton <[email protected]> a écrit :
>
> > I've updated the makefile so that clean does not remove components, but
> > cleanall does.
> >
> > David Botton
> >
> > ------------------------------------------------------------------------------
> > _______________________________________________
> > Gnoga-list mailing list
> > [email protected]
> > https://lists.sourceforge.net/lists/listinfo/gnoga-list
>
>
> ------------------------------------------------------------------------------
> _______________________________________________
> Gnoga-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/gnoga-list
> ------------------------------------------------------------------------------
> _______________________________________________
> Gnoga-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/gnoga-list
------------------------------------------------------------------------------
_______________________________________________
Gnoga-list mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/gnoga-list
