🚀 go-pugleaf

On Thu, 11 Oct 2012 14:23:03 +0200, J-P. Rosen wrote:

> Le 11/10/2012 11:45, Frédéric Praca a écrit :
>> Bonjour à tous,
>> après avoir installé via les packages Spark (2011.0.deb-5) et Gnat
>> (4.6ubuntu1) de ma distribution Ubuntu 12.04, j'ai voulu compiler
>> IronSides (http://ironsides.martincarlisle.com/ ).
>> Et là, à ma grande surprise, j'obtiens le message d'erreur suivant :
>> 
>> gcc-4.6 -c -I./ -O3 -gnatp -I/usr/lib/spark/ -I/usr/lib/spark/current -
>> I- /usr/lib/spark/current/spark-ada-text_io-not_spark.adb
>> spark-ada-text_io-not_spark.adb:107:18: (Ada 2005) cannot copy object
>> of a limited type (RM-2005 6.5(5.5/2))
>> spark-ada-text_io-not_spark.adb:107:18: consider switching to return of
>> access type gnatmake:
>> "/usr/lib/spark/current/spark-ada-text_io-not_spark.adb" compilation
>> error
>> 
>> Comme je sais que certains ont déjà joué avec Spark, je voulais savoir
>> si quelqu'un avait déjà vu cette erreur et comment il l'avait résolue.
>> 
> Rien à voir avec Spark, c'est LA grosse incompatibilité entre 95 et
> 2005: on pouvait avant faire un return d'un type limité, ce qui avait
> oblité Ada 95 à inventer la notion  un peu tordue de "return by
> reference". En Ada 2005, on dit la vérité, à savoir que comme on ne peut
> pas copier un objet limité, il faut renvoyer une référence.
C'est toujours mieux de dire la vérité :)
 
> Donc (comme indiqué dans le message, mais ce n'est pas évident si on ne
> connait pas le truc), il faut remplacer le type T renvoyé par la
> fonction par un access T (+ les quelques modifs qui s'ensuivent).
Ok mais bon, du coup, je me vois mal faire des modifs directement dans le 
code de Spark !!
Du coup, la question que je me pose est : "Comment diable, les sieurs 
Carlisle et Fagin ont réussi à compiler ça sur Windows ??"

En tout cas, merci pour les éclaircissements, je vais peut-être 
finalement jeter un oeil et modifier, histoire d'avoir au moins un truc 
qui compile.