K 10
svn:author
V 6
pkubaj
K 8
svn:date
V 27
2020-08-17T23:55:03.636471Z
K 7
svn:log
V 159
math/cadical: fix build on GCC architectures

Use | instead of , in the sed command to workaround for -Wl,rpath in CXXFLAGS.

MFH:		2020Q3 (fix build blanket)

END