Allow user to disable GiNaC::compile_ex (e.g. for security reasons).
authorAlexei Sheplyakov <varg@theor.jinr.ru>
Mon, 8 Sep 2008 07:09:20 +0000 (11:09 +0400)
committerAlexei Sheplyakov <varg@theor.jinr.ru>
Tue, 9 Sep 2008 10:17:08 +0000 (14:17 +0400)
commita32a30d8ccdd0eb945b8180c8fe82d154e9280de
treeeebb32499398f240552e95ed86fda019cb9f1663
parente677a783b3c986ceb873a580a18f2214ad6de52c
Allow user to disable GiNaC::compile_ex (e.g. for security reasons).

configure takes --{disable,enable}-excompiler argument now. It can be
used to disable GiNaC::compile_ex (default is to enable it).

acinclude.m4:
GINAC_EXCOMPILER: new macro. Checks for libdl, allows user to disable
GiNaC::compile_ex. Also it doesn't bother to check for libdl on MinGW.

configure.ac: use GINAC_EXCOMPILER to check for libdl.
acinclude.m4
configure.ac