Re: [Liberty-eiffel] Problem with deb packages

[Cyril ADRIAN]

Hi Germán,

Sorry for the delay. I have no definite idea yet, I think we will have to install some i386 cross-compilation chain on ET.

Raphael, any ideas?

Cheers,

Cyril

2014-05-19 7:11 GMT+02:00 Germán Arias <address@hidden>:

On 2014-05-18 23:04:57 -0600 Cyril ADRIAN <address@hidden> wrote:

> Hi Germán
>
> Thanks for your report :-)
>
> 2014-05-18 21:38 GMT+02:00 Germán Arias <address@hidden>:
>
>> liberty-eiffel-core-libs
>> liberty-eiffel-extra-libs
>>
>> But I can't install: liberty-eiffel-all. As I can see the problem is that
>> I need the package liberty-eiffel-tools. But I can't found this package.
>>
>
> The package is indeed in the apt pool (
> http://apt.liberty-eiffel.org/pool/main/libe/liberty-eiffel/). Do you have
> all the dependencies? Could you try installing the package manually?
>
> Now that I think a bit– it may be an architecture problem. We have the
> amd64 packages but i386 are not compiled. What is your architecture?

i386

Germán.

>
> Thanks,
>
> Cyril
>