diff options
Diffstat (limited to 'lib/make/make.config.defn.in')
-rw-r--r-- | lib/make/make.config.defn.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/make/make.config.defn.in b/lib/make/make.config.defn.in index bb1b7b54..12f523af 100644 --- a/lib/make/make.config.defn.in +++ b/lib/make/make.config.defn.in @@ -14,6 +14,9 @@ # Include stuff defined by optional extra arrangements include $(TOP)/config-data/make.extra.defn +# Include all required external libraries from configuration +-include $(TOP)/bindings/Configuration/make.link + # Compiler/executable info SHELL = @SHELL@ |