+# do we want statistics
+enable_statistics := @enable_statistics@
+# do we want external description of effects
+enable_external_effects := @enable_external_effects@
+# do we want to use the libcore for debug and ADT support
+enable_libcore := @enable_libcore@
+
+# suck in values for the linking procedure:
+LDFLAGS = @LDFLAGS@
+LIBS = @LIBS@
+
+# plugin subdirectories
+plugin_subdirs := @plugin_subdirs@