diff --git a/src/jdk.incubator.jextract/share/classes/jdk/internal/jextract/impl/SourceConstantHelper.java b/src/jdk.incubator.jextract/share/classes/jdk/internal/jextract/impl/SourceConstantHelper.java
index 6dc83d3829d..1fe1acb1f10 100644
--- a/src/jdk.incubator.jextract/share/classes/jdk/internal/jextract/impl/SourceConstantHelper.java
+++ b/src/jdk.incubator.jextract/share/classes/jdk/internal/jextract/impl/SourceConstantHelper.java
@@ -635,7 +635,7 @@ private void emitLibraries(String[] libraryNames) {
         for (String lib : libraryNames) {
             indent();
             append('\"');
-            append(lib);
+            append(quoteLibraryName(lib));
             append("\",\n");
         }
         decrAlign();
@@ -643,4 +643,8 @@ private void emitLibraries(String[] libraryNames) {
         append("});\n\n");
         decrAlign();
     }
+
+    private static String quoteLibraryName(String lib) {
+        return lib.replace("\\", "\\\\"); // double up slashes
+    }
 }