src/main/resources/make/configure.vm

changeset 123
d89b75fdf0aa
parent 122
5706694c17c4
--- 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
 

mercurial