Hello Amen, I was able to build opencog using the updated octool. However, I am unable to pass it a config file. When I run:
$ cogserver -c ./opencog.conf I get the server running. Using telnet I am able to get the opencog prompt but running the help command just says that the command was not found. When I open the opencog.log I get: [INFO] No config file found [2016-06-25 15:26:30:311] [INFO] Initializing ClassServer This doesn't happen if I run the same executable from the build folder where I had previously built opencog manually without using octool. What am I missing here? Am I supposed to set some environment variables? Yours sincerely Gaurav Gautam On Friday, June 24, 2016 at 12:40:44 PM UTC+5:30, AmeBel wrote: > > >> I see the problem now. The function is_x68_64_trusty evaluated to 1 on my >> computer because >> I am using elementary os. In this OSREL evaluates to freya instead of >> trusty and from there >> it chose the 32 bit branch. >> > Fixed by https://github.com/opencog/ocpkg/pull/66 > > >> On Friday, June 24, 2016 at 7:56:23 AM UTC+5:30, linas wrote: >>> >>> >>> >>> On Thu, Jun 23, 2016 at 4:33 PM, Gaurav Gautam <[email protected]> >>> wrote: >>> >>>> Hello, >>>> >>>> So I hit another wall. I can't get stack for haskell installed. I am >>>> listing everything I >>>> did just in case I 'fixed' something wrong: >>>> >>>> 1. The wget command in line 616 got me a file named >>>> stack-1.1.2-linux-i386.tar.gz >>>> which is different from what the next command tried to extract which is >>>> stack*i386-linux.tar.gz. The order of linux and i386 is wrong. >>>> >>> >>> OK, but by the time you get to the bottom, its clear that you need the >>> i686 package, not the i386 package. >>> >>> >>>> >>>> 2. After modifying the filename I was unable to run the stack command. >>>> So I modified >>>> the command to use the full path /usr/bin/stack/stack >>>> >>> >>> Yuck. That's just plain wrong. It got installed at the wrong location. >>> >>> >>>> >>>> 3. After this a library named libgmp.so.10 was not found. So I setup >>>> the LD_LIBRARY_PATH >>>> to point to /usr/lib/x86_64-linux-gnu which is the only place I found >>>> this library. >>>> >>> >>> Don't do this, ldconfig does this automatically for you. >>> >>>> >>>> 4. Then the executable `stack` complained that: >>>> /usr/bin/stack/stack: error while loading shared libraries: >>>> libgmp.so.10: wrong ELF class: ELFCLASS64 >>>> >>> >>> Yep. no surprise, given step 3. >>> >>> >>>> >>>> 5. I searched around a bit and found that this happens when a 64bit >>>> library is called where a 32bit one >>>> is required. >>>> >>> >>> Yep. >>> >>>> >>>> 6. This is where I am stuck. I can't find the 32 bit version anywhere. >>>> I tried installing ia32-libs, lib32z1, >>>> lib32ncurses5 and lib32bz2-1.0 as I read somewhere that these have 32 >>>> libararies for linux. But that >>>> didn't work. >>>> >>> >>> get a 64-bit stack. Its stupid to fiddle with 32-bit anything this day >>> and age. There are serious technical issues with trying to support 32-bit >>> anythng, any more, its best left to those people who work on embedded >>> systems. >>> >>> --linas >>> >>>> >>>> Yours sincerely >>>> Gaurav Gautam >>>> >>>> On Friday, June 24, 2016 at 12:28:38 AM UTC+5:30, linas wrote: >>>>> >>>>> >>>>> On Thu, Jun 23, 2016 at 1:50 PM, Gaurav Gautam <[email protected]> >>>>> wrote: >>>>> >>>>>> B01FA116 >>>>> >>>>> >>>>> http://answers.ros.org/question/174166/verify-repositorys-key/ >>>>> http://answers.ros.org/question/212254/ros-indigo-key-server-down/ >>>>> >>>>> The first ne seems the best -- just don't use the keyserver, and get >>>>> the package instead. >>>>> >>>>> --linas >>>>> >>>> >>> -- 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/4efb7ced-a470-4fe1-a86f-99442baee584%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
