Hi Vitaly, I have, as you suggested, deleted the "install_guile" from the octool file, but I'm still getting that error (I've included the preceding executions of the output (when you say 'log', I'm assuming that's what you mean?):
checking for i... _Complex_I checking whether csqrt is usable... yes checking whether getitimer(ITIMER_PROF) is usable... yes checking whether getitimer(ITIMER_VIRTUAL) is usable... yes checking for libgmp... yes checking how to link with libgmp... /usr/local/lib/libgmp.so -Wl,-rpath -Wl,/usr/local/lib checking whether mpz_inits is declared... yes checking whether libunistring was built with iconv support... yes checking for pkg-config... /usr/local/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for LIBFFI... no configure: error: Package requirements (libffi) were not met: No package 'libffi' found Consider adjusting the PKG_CONFIG_PATH environment variable if you installed software in a non-standard prefix. Alternatively, you may set the environment variables LIBFFI_CFLAGS and LIBFFI_LIBS to avoid the need to call pkg-config. See the pkg-config man page for more details. It's perplexing! On Monday, October 15, 2018 at 1:32:16 PM UTC+1, Vitaly Bogdanov wrote: > > 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] > <javascript:>>: > >> 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] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> 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/8da95319-7330-4acf-9d89-2e2aea4949e8%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
