[AWS] gprbuild

Thomas De Contes d.l.tDeContes at free.fr
Wed Oct 27 02:13:09 CEST 2010


Le 25 oct. 2009 à 14:43, Pascal Obry a écrit :

> Le 25/10/2009 14:16, Thomas De Contes a écrit :
>> well, if there is no solution to use the last version of aws, is it
> 
> Sorry for the late response, the solution is to use GNAT GPL 2009.
> 
> Pascal.

hi :-)

now i have
+ gnatmake --version
GNATMAKE 4.4.3 20091023 (prerelease) [gcc-4_4-branch revision 153489]

Isn't it "GNAT GPL 2009" ?

because now i get
+ make setup build install ENABLE_SHARED=false prefix=/Users/thomas/Administration-ordinateur/autoinstall/autre
make[1]: gprbuild: No such file or directory
Setup OS specific definitions
make[1]: ../.build/native/release/../setup/check_config: No such file or directory
make[1]: *** [../.build/native/release/../setup/src/aws-os_lib.ads] Error 1
make: *** [config_setup] Error 2


-- 
Téléassistance / Télémaintenance
http://www.portparallele.com/ThomasDECONTES/



More information about the AWS mailing list