Robert Dewar wrote:
Joern RENNECKE wrote:
Of course the user can change the size, by using a library with a different size.
This is not an acceptable approach in a production environment,
where switching libraries can force revalidation and retesting.
This sounds more like a problem with your process than a genuine technical problem.
Why should an option that selects a different library be less safe than an option that changes
code generation?
But If you really want to, you can of course select a different module out of the same library,
by playing with --defsym.
