Thanks Linas for the reply.

 yeah!!!  i can copy the contents of pattern miner from older branch to the 
current and can build opencog. 

The more difficult but more correct way to do this would be to cherry-pick 
her commits ...

 i think i could also try git rebase --onto instead of cherry picking. I 
read somewhere, when it comes to range of commits, cherry picking is not 
practical ?!


--Vishnu

On Wednesday, 14 September 2016 22:55:03 UTC+2, linas wrote:
>
>
>
> On Wed, Sep 14, 2016 at 1:59 PM, <vishnup...@gmail.com <javascript:>> 
> wrote:
>
>> Hey Linas,
>>
>> I cloned PatternMinerEmbodiment branch and ran it ;-).   Since you told 
>> shujinkge has made changes and no one imported it.   Just trying whether i 
>> can run patternminer without segmentation fault with this.
>>
>
> Ahh! OK, that makes sense. You best bet would be to copy the contents of 
> the PatternMiner directory there, into the current tree, and try to fix up 
> whatever breakages there are. 
>
> The more difficult but more correct way to do this would be to cherry-pick 
> her commits ...
>
> --linas
>
>>
>>
>> --Vishnu
>>
>>
>> On Wednesday, 14 September 2016 18:54:00 UTC+2, linas wrote:
>>>
>>> Hi,
>>>
>>> You appear to be compiling some stunningly ancient version of opencog.  
>>> I don't know how you did that.  Where did you find this beast?  How did you 
>>> find it?
>>>
>>> You should go to github, and follow the instructions there.
>>>
>>> --linas
>>>
>>> On Wed, Sep 14, 2016 at 9:41 AM, <vishnup...@gmail.com> wrote:
>>>
>>>> When i make opencog from build directory, it failed. Something went 
>>>> wrong with logger.so.   
>>>>
>>>>
>>>>
>

-- 
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 opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
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/4a623e21-6a51-4730-9fc8-0604287ccf3b%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to