Re: GprBuild et GNATColl.Memory

On 4/5/21 23:21, Stéphane Rivière via Ada-france wrote:
> [...]
> 
> Donc je l'ai mis à False dans ../share/gpr/gnatcoll.gpr,
> remis with "Gnatcoll"; en tête du projet,
> viré le chemin gnatcoll en dur pour les sources en ne laissant que "for Source_Dirs use ("src-tests","src/**");" et... ça marche :)

Si dans ce cas cela pourrait convenir, attention aux conséquences que peuvent avoir ce genre de manipulations. L'intégrité d'un composant dépend aussi des options de compilations
utilisées pour sa production.

Le fichier 'share/gpr/gnatcoll.gpr' généré par l'outil gprinstall décrit uniquement le composant GNATColl installé. Il ne comporte pas la recette nécessaire à la production du
composant GNATColl [1], par exemple :
- les options de compilation de gnatcoll en prod:
            for Switches ("Ada") use ("-O2", "-gnatn", "-gnatwaCJ");
            for Switches ("C") use ("-O2", "-Wunreachable-code");
- ou encore, le fichier gnatcoll_support.c doit être compilé avec les flags '-DHAVE_MMAP' et '-DHAVE_MADVISE' si utilisation de MMAP et MADVISE [2]

[1] https://github.com/AdaCore/gnatcoll-core/blob/master/gnatcoll.gpr

[2] Dans le gpr installé 'share/gpr/gnatcoll.gpr' on peut noter la ligne 'extra_switches := ("-DHAVE_MMAP", "-DHAVE_MADVISE");', mais rien de spécifie que ces switches doivent être
appliqués uniquement à gnatcoll_support.c


> 
> [...] from islander to islander :)

:)



-- 
David SAUVAGE

Software Agile Architect, Director
AdaLabs Ltd - Mauritius
https://adalabs.com
+230 542 818 32
BRN C10097052
_______________________________________________
Ada-france mailing list
[email protected]
https://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france