Ok, we can just get last octool message to understand which library triggers the error. Please execute:
./octool -rsdpcav -l default 2>&1 | fgrep '[octool]' and share results. Best regards, Vitaly вт, 16 окт. 2018 г. в 15:20, Johannes Castner <[email protected]>: > 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]>: >> >>> 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/8da95319-7330-4acf-9d89-2e2aea4949e8%40googlegroups.com > <https://groups.google.com/d/msgid/opencog/8da95319-7330-4acf-9d89-2e2aea4949e8%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/CAN28E837U2HDpse3sam-3TT%3DP-kqrJFwMi_LVmpBHH444zRTrg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
