Merge branch 'master' into ranked-sampling

1 files changed, 1 insertions, 1 deletions

diff --git a/lm/Jamfile b/lm/Jamfile
index 0b5bbf259..a479e2d35 100644
--- a/lm/Jamfile
+++ b/lm/Jamfile
@@ -17,7 +17,7 @@ wrappers = ;
 local with-nplm = [ option.get "with-nplm" ] ;
 if $(with-nplm) {
   lib nplm : : <search>$(with-nplm)/src ;
-  obj nplm.o : wrappers/nplm.cc : <include>.. <include>$(with-nplm)/src <cxxflags>-fopenmp ;
+  obj nplm.o : wrappers/nplm.cc : <include>.. <include>$(with-nplm)/src <cxxflags>-fopenmp <include>$(with-nplm)/3rdparty/eigen <define>NPLM_DOUBLE_PRECISION=0 ;
   alias nplm-all : nplm.o nplm ..//boost_thread : : : <cxxflags>-fopenmp <linkflags>-fopenmp <define>WITH_NPLM <library>..//boost_thread ;
   wrappers += nplm-all ;
 }