diff --git a/tools-poly/configure.sml b/tools-poly/configure.sml
index 431deb16ef..d5af2a2b64 100644
--- a/tools-poly/configure.sml
+++ b/tools-poly/configure.sml
@@ -237,17 +237,17 @@ in
       ("val POLY_LDFLAGS = [" ^
        String.concatWith ", "
                          (map quote
-                              (if null POLY_LDFLAGS then machine_flags
-                               else POLY_LDFLAGS)) ^
+                              ((if null POLY_LDFLAGS then machine_flags
+                                else POLY_LDFLAGS) @ EXTRA_POLY_LDFLAGS)) ^
        "]\n"),
    "val POLY_LDFLAGS_STATIC =" -->
       ("val POLY_LDFLAGS_STATIC = [" ^
        String.concatWith ", "
                          (map quote
-                              (if null POLY_LDFLAGS_STATIC then
-                                 ("-static" :: machine_flags)
-                               else
-                                 POLY_LDFLAGS_STATIC)) ^
+                              ((if null POLY_LDFLAGS_STATIC then
+                                  ("-static" :: machine_flags)
+                                else
+                                  POLY_LDFLAGS_STATIC) @ EXTRA_POLY_LDFLAGS)) ^
        "]\n"),
    "val CC =" --> ("val CC = "^quote CC^"\n"),
    "val OS ="       --> ("val OS = "^quote OS^"\n"),
diff --git a/tools-poly/smart-configure.sml b/tools-poly/smart-configure.sml
index 0f455efc10..763822fa55 100644
--- a/tools-poly/smart-configure.sml
+++ b/tools-poly/smart-configure.sml
@@ -73,6 +73,7 @@ val DOT_PATH = SOME "";
 val MLTON = SOME "";
 val GNUMAKE = "";
 val POLY_LDFLAGS = [] : string list;
+val EXTRA_POLY_LDFLAGS = [] : string list;
 val POLY_LDFLAGS_STATIC = [] : string list;
 
 val _ = let