diff -r 5706694c17c4 -r d89b75fdf0aa src/main/resources/make/configure.vm --- a/src/main/resources/make/configure.vm Tue Nov 12 16:53:27 2024 +0100 +++ b/src/main/resources/make/configure.vm Tue Nov 12 17:00:51 2024 +0100 @@ -579,6 +579,23 @@ $feature.make __EOF__ #end +else + : +#foreach( $def in $feature.disabled.defines ) + TEMP_CFLAGS="$TEMP_CFLAGS ${def.toFlags()}" + TEMP_CXXFLAGS="$TEMP_CXXFLAGS ${def.toFlags()}" +#end +#if( $feature.disabled.hasMake() ) + cat >> "$TEMP_DIR/make.mk" << __EOF__ +$feature.disabled.make +__EOF__ +#end +#foreach( $dependency in $feature.disabled.dependencies ) + if dependency_error_$dependency ; then + DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED ${dependency} " + ERROR=1 + fi +#end fi #end