SDLAda

SDLAda

[comicfanzine]

Anyone tried to use The SDLAda library ?
https://github.com/Lucretia/sdlada

I unzip the archive and open a terminal into it .
When i apply the README file , i got the following errors =

dead-code@Machine:~/Bureau/sdlada-master$ make SDL_PLATFORM=linux SDL_BUILD=static SDL_MODE=release
gprbuild -p -gnat2012 -XSDL_BUILD=static -XSDL_MODE=release -XSDL_PLATFORM=linux \
		-Psdlada.gpr -cargs `sdl2-config --cflags`
sdl_version.gpr:1:09: warning: there are no Ada sources in this project
gcc-4.6 -c -ffunction-sections -fdata-sections -gnat2012 -gnata -gnato -gnatE -gnaty -gnaty-s -gnatyO -gnatyM120 -gnatyO -O2 -I/usr/include/SDL2 -D_REENTRANT -gnat2012 sdl-events-keyboards.adb
sdl-events-keyboards.adb:30:09: aspect identifier expected
sdl-events-keyboards.adb:39:09: aspect identifier expected
sdl-events-keyboards.adb:48:09: aspect identifier expected
sdl-events-keyboards.adb:57:09: aspect identifier expected
sdl-events-keyboards.adb:67:09: aspect identifier expected
sdl-events-keyboards.adb:77:09: aspect identifier expected
gprbuild: *** compilation phase failed
make: *** [sdl_build.gpr] Erreur 4
dead-code@Machine:~/Bureau/sdlada-master$ 


How solve the problem ?

Also, gcc 4.8 is well present as you can see next. But he is not used in the make , i don't know why .
Beside, I still got those errors above .

dead-code@Machine:~/Bureau/sdlada-master$ gcc --version
gcc (Ubuntu 4.8.4-2ubuntu1~14.04) 4.8.4
Copyright (C) 2013 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

dead-code@Machine:~/Bureau/sdlada-master$ 

Re: SDLAda

[Lucretia]

On Saturday, 19 December 2015 01:44:37 UTC, comicf...@gmail.com  wrote:
> Anyone tried to use The SDLAda library ?
> https://github.com/Lucretia/sdlada
> 
> I unzip the archive and open a terminal into it .
> When i apply the README file , i got the following errors =
> 
> dead-code@Machine:~/Bureau/sdlada-master$ make SDL_PLATFORM=linux SDL_BUILD=static SDL_MODE=release
> gprbuild -p -gnat2012 -XSDL_BUILD=static -XSDL_MODE=release -XSDL_PLATFORM=linux \
> 		-Psdlada.gpr -cargs `sdl2-config --cflags`
> sdl_version.gpr:1:09: warning: there are no Ada sources in this project
> gcc-4.6 -c -ffunction-sections -fdata-sections -gnat2012 -gnata -gnato -gnatE -gnaty -gnaty-s -gnatyO -gnatyM120 -gnatyO -O2 -I/usr/include/SDL2 -D_REENTRANT -gnat2012 sdl-events-keyboards.adb
> sdl-events-keyboards.adb:30:09: aspect identifier expected
> sdl-events-keyboards.adb:39:09: aspect identifier expected
> sdl-events-keyboards.adb:48:09: aspect identifier expected
> sdl-events-keyboards.adb:57:09: aspect identifier expected
> sdl-events-keyboards.adb:67:09: aspect identifier expected
> sdl-events-keyboards.adb:77:09: aspect identifier expected
> gprbuild: *** compilation phase failed
> make: *** [sdl_build.gpr] Erreur 4
> dead-code@Machine:~/Bureau/sdlada-master$ 
> 
> 
> How solve the problem ?
> 
> Also, gcc 4.8 is well present as you can see next. But he is not used in the make , i don't know why .
> Beside, I still got those errors above .
> 
> dead-code@Machine:~/Bureau/sdlada-master$ gcc --version
> gcc (Ubuntu 4.8.4-2ubuntu1~14.04) 4.8.4
> Copyright (C) 2013 Free Software Foundation, Inc.
> This is free software; see the source for copying conditions. There is NO
> warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
> 
> dead-code@Machine:~/Bureau/sdlada-master$

Come to Freenode #Ada and I'll help you, I probably won't be there until tonight or tomorrow.

Re: SDLAda

[comicfanzine]

>Come to Freenode #Ada and I'll help you, I probably won't be there until tonight or tomorrow.

Why not here ?

Re: SDLAda

[Luke A. Guest]

<comicfanzine@gmail.com> wrote:
>> Come to Freenode #Ada and I'll help you, I probably won't be there until
>> tonight or tomorrow.
> 
> Why not here ?
> 
> 

Because IRC is more realtime if the people are there.

Re: SDLAda

[Lucretia]

On Saturday, 19 December 2015 01:44:37 UTC, comicf...@gmail.com  wrote:
 
> dead-code@Machine:~/Bureau/sdlada-master$ make SDL_PLATFORM=linux SDL_BUILD=static SDL_MODE=release
> gprbuild -p -gnat2012 -XSDL_BUILD=static -XSDL_MODE=release -XSDL_PLATFORM=linux \
> 		-Psdlada.gpr -cargs `sdl2-config --cflags`
> sdl_version.gpr:1:09: warning: there are no Ada sources in this project
> gcc-4.6 -c -ffunction-sections -fdata-sections -gnat2012 -gnata -gnato -gnatE -gnaty -gnaty-s -gnatyO -gnatyM120 -gnatyO -O2 -I/usr/include/SDL2 -D_REENTRANT -gnat2012 sdl-events-keyboards.adb
> sdl-events-keyboards.adb:30:09: aspect identifier expected
> sdl-events-keyboards.adb:39:09: aspect identifier expected
> sdl-events-keyboards.adb:48:09: aspect identifier expected
> sdl-events-keyboards.adb:57:09: aspect identifier expected
> sdl-events-keyboards.adb:67:09: aspect identifier expected
> sdl-events-keyboards.adb:77:09: aspect identifier expected
> gprbuild: *** compilation phase failed
> make: *** [sdl_build.gpr] Erreur 4
> dead-code@Machine:~/Bureau/sdlada-master$ 
> 
> 
> How solve the problem ?

Are you the samer person who posted the issue on Github? If so, I said there, 4.6 is too early and the 2012 features are not implemented properly there. I've only tested building on a 4.9.2 gcc.

> Also, gcc 4.8 is well present as you can see next. But he is not used in the make , i don't know why .
> Beside, I still got those errors above .
> 
> dead-code@Machine:~/Bureau/sdlada-master$ gcc --version
> gcc (Ubuntu 4.8.4-2ubuntu1~14.04) 4.8.4
> Copyright (C) 2013 Free Software Foundation, Inc.
> This is free software; see the source for copying conditions. There is NO
> warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
> 
> dead-code@Machine:~/Bureau/sdlada-master$

Does that 4.8 compiler have ada enabled? I'm not on a Debian based distro anymore, they have specific and separate builds for Ada compilers. I use my own built compiler, free-ada.

I would look at updating your Ubuntu or seeing if they have newer gcc/gnat builds.

Do gcc -v and see what it says, mine says this:

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/laguest/opt/free-ada-new/libexec/gcc/x86_64-pc-linux-gnu/4.9.2/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /home/laguest/src/mine/tinyada/source/gcc-4.9.2/configure --prefix=/home/laguest/opt/free-ada-new --target=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --enable-multilib --enable-threads=posix --with-gnu-as --with-gnu-ld --enable-languages=c,c++,objc,obj-c++,ada --with-system-zlib --disable-libgomp --without-libffi --without-libiconv-prefix --disable-libmudflap --disable-nls --disable-libstdcxx-pch --disable-isl-version-check --with-gmp=/home/laguest/opt/free-ada-new --with-mpfr=/home/laguest/opt/free-ada-new --with-mpc=/home/laguest/opt/free-ada-new --with-isl=/home/laguest/opt/free-ada-new --enable-cloog-backend=isl --disable-cloog-version-check --with-cloog=/home/laguest/opt/free-ada-new CFLAGS=
Thread model: posix
gcc version 4.9.2 (GCC) 

Note the line "--enable-languages=c,c++,objc,obj-c++,ada" 

Luke.

Re: SDLAda

[Brian Drummond]

On Sat, 19 Dec 2015 15:43:52 -0800, Lucretia wrote:

> On Saturday, 19 December 2015 01:44:37 UTC, comicf...@gmail.com  wrote:
How solve the problem ?
> 
> Are you the samer person who posted the issue on Github? If so, I said
> there, 4.6 is too early and the 2012 features are not implemented
> properly there. I've only tested building on a 4.9.2 gcc.

> Does that 4.8 compiler have ada enabled? I'm not on a Debian based
> distro anymore, they have specific and separate builds for Ada
> compilers. I use my own built compiler, free-ada.

Debian based distros were stuck with gnat-4.6 despite gcc moving on to 
4.7 and 4.8 up until gcc and gnat 4.9 came out together with Jessie. 

So if you're using a downstream distro that hasn't caught up with gnat/
gcc-4.9 it's probably time to upgrade at least the compilers. Possibly 
from Debian itself if your distro can't supply them. I can't help with 
the details, sorry.

-- Brian

Re: SDLAda

[Lucretia]

On Sunday, 20 December 2015 11:24:34 UTC, Brian Drummond  wrote:

> Debian based distros were stuck with gnat-4.6 despite gcc moving on to 
> 4.7 and 4.8 up until gcc and gnat 4.9 came out together with Jessie. 
> 
> So if you're using a downstream distro that hasn't caught up with gnat/
> gcc-4.9 it's probably time to upgrade at least the compilers. Possibly 
> from Debian itself if your distro can't supply them. I can't help with 
> the details, sorry.

I moved from Debian to Gentoo for this exact reason (and the fact that they weren't keeping up with graphics drivers either) only to find the Ada situation on Gentoo is dire, but I intend to work on that.

Luke.

Re: SDLAda

[Dmitry A. Kazakov]

On 2015-12-20 12:56, Lucretia wrote:
> On Sunday, 20 December 2015 11:24:34 UTC, Brian Drummond  wrote:
>
>> Debian based distros were stuck with gnat-4.6 despite gcc moving on to
>> 4.7 and 4.8 up until gcc and gnat 4.9 came out together with Jessie.
>>
>> So if you're using a downstream distro that hasn't caught up with gnat/
>> gcc-4.9 it's probably time to upgrade at least the compilers. Possibly
>> from Debian itself if your distro can't supply them. I can't help with
>> the details, sorry.
>
> I moved from Debian to Gentoo for this exact reason (and the fact that
 > they weren't keeping up with graphics drivers either) only to find the
 > Ada situation on Gentoo is dire, but I intend to work on that.

But Debian has gnat-5 already!

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: SDLAda

[Pascal Obry]

Le dimanche 20 décembre 2015 à 13:24 +0100, Dmitry A. Kazakov a écrit :
> But Debian has gnat-5 already!

Yes, gcc 5.3. As a dev it is better to use the Testing or Unstable
version of Debian. There is no point staying on stable which is more
for end-users and servers.

-- 
  Pascal Obry /  Magny Les Hameaux (78)

  The best way to travel is by means of imagination

  http://v2p.fr.eu.org
  http://www.obry.net

  gpg --keyserver keys.gnupg.net --recv-key F949BD3B

GNAT versions (Was: SDLAda)

[Jacob Sparre Andersen]

Dmitry A. Kazakov wrote:

> But Debian has gnat-5 already!

And FreeBSD has GNAT 6 (gcc6-aux).  It is a bit strict about anonymous
access types, but it seems to work well enough.

Greetings,

Jacob
-- 
... but, following long-established custom, it is Laplace's result
that is always called, in the modern litterature, "Bayes' theorem." (Jaynes)

Re: GNAT versions

[Simon Wright]

Jacob Sparre Andersen <sparre@nbi.dk> writes:

> Dmitry A. Kazakov wrote:
>
>> But Debian has gnat-5 already!
>
> And FreeBSD has GNAT 6 (gcc6-aux).  It is a bit strict about anonymous
> access types, but it seems to work well enough.

I'd've thought this was a _little_ premature!

Re: GNAT versions

[Jacob Sparre Andersen]

Simon Wright <simon@pushface.org> writes:
> Jacob Sparre Andersen <sparre@nbi.dk> writes:
>
>> Dmitry A. Kazakov wrote:
>>
>>> But Debian has gnat-5 already!
>>
>> And FreeBSD has GNAT 6 (gcc6-aux).  It is a bit strict about anonymous
>> access types, but it seems to work well enough.
>
> I'd've thought this was a _little_ premature!

It's easier to test it, if you have it as an easily installable package.

It seems that Debian/experimental has it too (at least as a
cross-compiler).

Greetings,

Jacob
-- 
"Those who will not reason, are bigots,
 those who cannot, are fools, and
 those who dare not, are slaves."

Re: SDLAda

[comicfanzine]

@Lucretia = After upgrading my OS , the make is a success .

But , for the install , i got 1 error message =

dead-code@Machine:~/Bureau/sdlada-master/build/gnat$ make SDL_PLATFORM=linux SDL_BUILD=static SDL_MODE=release DESTDIT=/usr/share/ada/adainclude install
gprbuild -p -gnat2012 -XSDL_BUILD=static -XSDL_MODE=release -XSDL_PLATFORM=linux \
	-Psdlada.gpr -cargs `sdl2-config --cflags`
gprbuild -p -gnat2012 -XSDL_BUILD=static -XSDL_MODE=release -XSDL_PLATFORM=linux \
	-Ptest_maths_build.gpr
gprbuild -p -gnat2012 -XSDL_BUILD=static -XSDL_MODE=release -XSDL_PLATFORM=linux \
	-Ptests.gpr -largs `sdl2-config --static-libs`
gprbuild: "test" up to date
gprbuild: "version" up to date
gprbuild: "platform" up to date
gprbuild: "error" up to date
gprbuild: "libraries" up to date
gprbuild: "clipboard" up to date
gprbuild: "stream" up to date
gprbuild: "stream2" up to date
gprinstall --prefix=/opt/sdlada --build-name=release.static -p -f \
	-XSDL_BUILD=static -XSDL_MODE=release -XSDL_PLATFORM=linux \
	-Psdlada.gpr
Install project SDLAda - release.static
cannot overwrite file /opt/sdlada/include/sdlada.release.static/sdl-events-keyboards.ads check permissions.
makefile:124: recipe for target 'install' failed
make: *** [install] Error 1
dead-code@Machine:~/Bureau/sdlada-master/build/gnat$ 


So , i tried with sudo and then no more error message ; except that nothing was install in the path .

??
 

Re: SDLAda

[Luke A. Guest]

<comicfanzine@gmail.com> wrote:

Either add -p to the install line in the makefile or grab the latest
version, I've done some cleanups. 

Re: SDLAda

[comicfanzine]

>Either add -p to the install line in the makefile or grab the >latest version, I've done some cleanups.

At line:124 " -p " is already present .

Also , i grab the version at Github , once more.
Is that what you meant by grab the latest version ?

Is still got the same error .

Thanks anyway .

Re: SDLAda

[comicfanzine]

>Either add -p to the install line in the makefile or grab the latest version, I've done some cleanups.

At line:124 " -p " is already present .

Also , i grab the version at Github , once more.
Is that what you meant by grab the latest version ?

I still got the same error .

Thanks anyway . 

Re: SDLAda

[Luke A. Guest]

<comicfanzine@gmail.com> wrote:
>> Either add -p to the install line in the makefile or grab the latest
>> version, I've done some cleanups.
> 
> At line:124 " -p " is already present .

Yeah, the makefiles already have that option to create directories.

Right do this, delete your local copy, clone the repo from GitHub, build as
per instructions, post your build command and the whole build log.

Luke

Re: SDLAda

[Simon Clubley]

On 2015-12-27, Luke A  Guest <laguest@archeia.com> wrote:
><comicfanzine@gmail.com> wrote:
>>> Either add -p to the install line in the makefile or grab the latest
>>> version, I've done some cleanups.
>> 
>> At line:124 " -p " is already present .
>
> Yeah, the makefiles already have that option to create directories.
>
> Right do this, delete your local copy, clone the repo from GitHub, build as
> per instructions, post your build command and the whole build log.
>

One question (to the OP, not Luke): were you running as root (either
directly or indirectly) when you tried to write files to /opt ?

Simon.

-- 
Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
Microsoft: Bringing you 1980s technology to a 21st century world

Re: SDLAda

[Lucretia]

On Monday, 28 December 2015 10:29:25 UTC, Simon Clubley  wrote:

> One question (to the OP, not Luke): were you running as root (either
> directly or indirectly) when you tried to write files to /opt ?

I didn't even notice that. He needs to add DESTDIR=<some location> as per the README.md. I install locally to ~/opt or test to /tmp.

Luke.