Make compile_ex() work with CMake.
[ginac.git] / cmake /
drwxr-xr-x   ..
drwxr-xr-x - modules