Hi, 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.
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] > <javascript:>> 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/fdaacb6a-ded3-410b-9be6-24719e3ad5a0%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
