Singular/Sources — pull request #69 by mmklee (2012-02-21 16:05:06+00:00)
Title: Factory configure options

Fixes for building factory without NTL and/or options --enable-debugoutput, --enable-assertions, --enable-timings.
I will also fix these issues in spielwiese in the next days