Here: this commit should fix this problem (and Nil's original problem) https://github.com/opencog/opencog/commit/260f95a01af82ff47b56bfa4405a9dcca6b4d7ef
--linas On Wed, Aug 31, 2016 at 12:05 PM, Linas Vepstas <[email protected]> wrote: > > > On Tue, Aug 30, 2016 at 4:44 PM, <[email protected]> wrote: > >> Thanks for the reply Ben. >> >> Yeah I checked the post. But I could not understand about the linkage >> problem. >> >> NIL---> "Anyway, if the pattern miner on that branch isn't better I >>> obviously >>> prefer to use the one on the master. Just haven't figured out what is >>> the missing function corresponding to that symbol >>> _ZN7opencog11OBJECT_NODEE, but I should soon." >> >> >> NIL---> "I feel the dumbest person on earth... That object is >> opencog::OBJECT_NODE >> !!! Now I just need to find the missing linkage. " >> >> Totally unable to figure it out :-( >> > > Is this still an issue? > OBJECT_NODE is defined in spacetime/atom_types.script and the way to > resolve the linkage issue is to link to libspacetime-types.so > > However, I am confused, because .. oh never mind. the makefile for > timeoctomap is wrong. I will fix in here in 10 minutes. > > --linas > > > >>> To view this discussion on the web visit https://groups.google.com/d/ms >> gid/opencog/785f8e87-5a15-421f-9ec5-6da3e2c249d9%40googlegroups.com >> <https://groups.google.com/d/msgid/opencog/785f8e87-5a15-421f-9ec5-6da3e2c249d9%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/CAHrUA36Ur59hPxghn6cMWtgiemoL-o-WqZUD%2BLdUok99krVwBA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
