>
> I'm running Ubuntu 18.04.1 LTS, bionic
>
libffi-dev is already the newest version (3.2.1-8).
>

This configuration works for me but I didn't use octool and built all
things manually.

As far as I see current octool version just skips dependencies installation
if ubuntu version is not "14.04" or "16.04".
One can search for UBUNTU_VERSION usages in
https://github.com/opencog/ocpkg/blob/master/ocpkg
Taking it into account may be the root cause is not libffi absence.
Could you please share the log of the octool since last command executed to
understand the component which fails?

It seems that libffi is needed to build guile only but in Ubuntu 18.04
guile can be installed from apt-get repository.
You can try removing "install_guile" call from
https://github.com/opencog/ocpkg/blob/871d0390576457cbfd3ab8efad1ed5c87c2e9a5c/ocpkg#L1090
and
install it manually:

   apt-get install guile-2.2-dev


вс, 14 окт. 2018 г. в 20:07, Johannes Castner <[email protected]>:

> Hi Vitaly, thank you for your reply!
>
> I'm running Ubuntu 18.04.1 LTS, bionic
>
> sudo apt-get install libffi-dev #gives:
>
> libffi-dev is already the newest version (3.2.1-8).
> 0 to upgrade, 0 to newly install, 0 to remove and 5 not to upgrade.
>
> without the sudo is says that permission is denied.
>
> Sorry took so long to reply ...its a bit perplexing to me as I've already
> installed everything but it can not find it.
>
> I'd greatly appreciate your help!
>
> Johannes
>
> On Wednesday, October 10, 2018 at 7:34:57 PM UTC+1, Vitaly Bogdanov wrote:
>>
>> Hi Johannes,
>>
>> Which operating system do you use? Is it ubuntu? Which version?
>> What does "apt-get install libffi-dev" say?
>>
>> Best regards,
>>   Vitaly
>>
>> ср, 10 окт. 2018 г. в 16:48, Johannes Castner <[email protected]>:
>>
>>> Hello,
>>>
>>> I'm having the problem that my computer is looking for and cannot find
>>> the `libffi' package whenever I type
>>>
>>>  ./octool -rsdpcav -l default
>>>
>>> I've followed all of the stack-overflow and stack exchange tips to
>>> solving this problem and nothing I try works.
>>>
>>> Please help if you can!
>>>
>>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "opencog" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to [email protected].
>>> To post to this group, send email to [email protected].
>>> Visit this group at https://groups.google.com/group/opencog.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/opencog/1bc147d8-c5ce-4763-8843-b8297916bec3%40googlegroups.com
>>> <https://groups.google.com/d/msgid/opencog/1bc147d8-c5ce-4763-8843-b8297916bec3%40googlegroups.com?utm_medium=email&utm_source=footer>
>>> .
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>> --
> You received this message because you are subscribed to the Google Groups
> "opencog" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at https://groups.google.com/group/opencog.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/opencog/dc72109b-d19e-444e-bb8c-9dd1fd73e678%40googlegroups.com
> <https://groups.google.com/d/msgid/opencog/dc72109b-d19e-444e-bb8c-9dd1fd73e678%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/CAN28E812dqQ0ZYAPQJMHCzGSC2-Z7En5N5sYyY6krf4OqMqzDA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to