Re: [Link Grammar] Sat solver and fat links (compilation error)

[Linas Vepstas]

Hi Jacob,

It appears that the the sat solver has fallen into some dis-repair after recent changes.  I just fixed it now, and pushed the fixes to svn.   I'll release a version 4.7.12  sometime soon, with these fixes in it.

-- linas

On 3 April 2013 07:50, Jacob Dlougach <dlou...@gmail.com> wrote:

Current version doesn't compile with --enable-sat-solver:

In file included from variables.hpp:11:0,
                 from word-tag.hpp:12,
                 from sat-encoder.hpp:9,
                 from sat-encoder.cpp:13:
guiding.hpp: In member function 'virtual void CostDistanceGuiding::setFatLinkParameters(int, int, int)':
guiding.hpp:151:16: error: 'struct Sentence_s' has no member named 'is_conjunction'

I am not sure whether it is safe to define USE_FAT_LINKAGES manually via CFLAGS.

With best regards,
Jacob Dlougach

--
You received this message because you are subscribed to the Google Groups "link-grammar" group.
To unsubscribe from this group and stop receiving emails from it, send an email to link-grammar...@googlegroups.com.
To post to this group, send email to link-g...@googlegroups.com.
Visit this group at http://groups.google.com/group/link-grammar?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

[Linas Vepstas]

On 3 April 2013 11:03, Linas Vepstas <linasv...@gmail.com> wrote:

Hi Jacob,

It appears that the the sat solver has fallen into some dis-repair after recent changes.  I just fixed it now, and pushed the fixes to svn.   I'll release a version 4.7.12  sometime soon, with these fixes in it.

Oh, and I forgot to mention: among these fixes is a new flag in configure:

./configure --disable-fat-links

which will cause the fat-link code to not be built.  

(Note to everyone: someday in the not-to-distant-future, fat links will be permanently disabled.  In the more distant future, the fat-link code will be removed.  Now is the time to get ones house in order in regards to this.)

--linas