diff options
Diffstat (limited to 'build/configure')
-rwxr-xr-x | build/configure | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/build/configure b/build/configure index 8295e76..7e37c13 100755 --- a/build/configure +++ b/build/configure @@ -108,6 +108,19 @@ $echo reuse_style=`read_option "mixin tiein none" "tiein"` $echo +$echo "Would you like to enable support for custom memory allocator?" +$echo + +allocator=`read_y_n n` + +$echo +$echo "Would you like to include the default implementation of the" +$echo "memory allocator functions into the XSD/e runtime library?" +$echo + +allocator_default=`read_y_n n` + +$echo $echo "Would you like to build support for serialization in XDR format?" $echo "This requires the XDR API that is part of Sun RPC (rpc/xdr.h)." $echo @@ -185,6 +198,8 @@ echo "xsde_snprintf := $snprintf" >> echo "xsde_parser_validation := $parser_validation" >>$1 echo "xsde_serializer_validation := $serializer_validation" >>$1 echo "xsde_reuse_style := $reuse_style" >>$1 +echo "xsde_custom_allocator := $allocator" >>$1 +echo "xsde_default_allocator := $allocator_default" >>$1 echo "xsde_xdr := $xdr" >>$1 echo "xsde_cdr := $cdr" >>$1 echo "xsde_polymorphic := $polymorphic" >>$1 |