K 10 svn:author V 7 cpiazza K 8 svn:date V 27 1999-11-05T03:57:17.000000Z K 7 svn:log V 101 Add --enable-SDPS to CONFIGURE_ARGS PR: 14582 Submitted by: Jose Marques END