add symengine #118
add symengine #118
Conversation
| CONFOPTS="-DCMAKE_BUILD_TYPE=Release \ | ||
| " |
There was a problem hiding this comment.
For a minimal installation one could build the shared libs and disable the examples and tests
-DBUILD_SHARED_LIBS:BOOL=ON
-DBUILD_EXAMPLES:BOOL=OFF
-DBUILD_TEST:BOOL=OFF \
| VERSION=0.4.0 | ||
| CHECKSUM=fd9ae3e98258291ef35b6392faa72ace |
There was a problem hiding this comment.
We recently installed symengine successfully with version 0.7.0
VERSION=0.7.0
CHECKSUM=72b8f1442fd3084c96e59d9fe87eec1a
|
At least with dealii-9.2 we recently installed successfully symengine v0.7.0, in the same fashion @tjhei wants to merge here, on a WSL Ubuntu 20.04, plain Ubuntu 20.04 and a linux cluster with Red Hat Enterprise Linux (RHEL) 7.7. However, there seems to be an issue, see dealii#10016. According to the symengine install doc maybe the package libgmp-dev (for Debian like systems) or gmp-devel (for RPM like systems) possibly needs to be added in the list of system requierements (add to list in platforms/...)?! |
|
Should we merge this and then I open the update PR for 0.7.0 or should I directly open the 0.7.0 PR? |
ghost
mentioned this pull request
|
An updated is provided in #198. |
|
resolved by #198 |
candidate for 9.1
work in progress (need more testing)