These are chat archives for symengine/symengine

30th
Jan 2016
Ralf Stephan
@rwst
Jan 30 2016 08:54
how does symengine.py know the if(MPFR_LIBRARY)? Does this work at all? Would it use the same files in cmake/ as symengine does? I'm asking because of Flint.
Isuru Fernando
@isuruf
Jan 30 2016 08:58
It's supposed to load those from https://github.com/symengine/symengine/blob/master/cmake/SymEngineConfig.cmake.in
But the recent changes have broken this.
You'll have to use if(SYMENGINE_MPFR_LIBRARIES)
Ralf Stephan
@rwst
Jan 30 2016 08:58
thanks
but SYMENGINE_MPFR_LIBRARIES isn't even in there, so symengine must be fixed first
Isuru Fernando
@isuruf
Jan 30 2016 09:03
It is added in place of @SYMENGINE_PKG_FINDS@
Check SymEngineConfig.cmake in the build directory of SymEngine
Ralf Stephan
@rwst
Jan 30 2016 09:16
ok but it appears the ..._INCLUDE_DIRs are not given to g++ when compiling symengine_wrapper. I get:
/usr/local/include/symengine/series_flint.h:9:19: fatal error: flint.h: No such file or directory
Isuru Fernando
@isuruf
Jan 30 2016 09:24
shouldn't that be flint/flint.h?
We didn't notice the difference in SymEngine because we included a workaround for Arb. That is arb uses #include <flint.h>, but flint is installed into a folder flint, which means you need to include it as #include <flint/flint.h>
Ralf Stephan
@rwst
Jan 30 2016 09:28
argh! Will include it in the current PR...
Ralf Stephan
@rwst
Jan 30 2016 15:43
It's not only symengine that includes "flint.h":
/usr/local/include/flint/flintxx/flint_classes.h:30:19: fatal error: flint.h: No such file or directory

ralf@ark:~/symengine.py> grep '^#include .flint.h' /usr/local/include/flint/* |wc
grep: /usr/local/include/flint/flintxx: Is a directory
     47      94    2641
ralf@ark:~/symengine.py> grep '^#include .flint.h' /usr/local/include/flint/*/* |wc
      1       2      68
Isuru Fernando
@isuruf
Jan 30 2016 16:42
That should be fixed in Flint itself
If headers in root of Flint folder use just flint.h then that's fine. But headers in subfolders like flintxx, should use the full form flint/flint.h
Ralf Stephan
@rwst
Jan 30 2016 16:53
Will open a flint issue tomorrow. There is already a similar arb issue.