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. 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 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. 4. Then the executable `stack` complained that: /usr/bin/stack/stack: error while loading shared libraries: libgmp.so.10: wrong ELF class: ELFCLASS64 5. I searched around a bit and found that this happens when a 64bit library is called where a 32bit one is required. 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. 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] > <javascript:>> 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/207d6c56-1dfd-4ad1-a8d5-29e643d71dcd%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
