From d831a27ec59a48de77e3cf3665aa532dd900691f Mon Sep 17 00:00:00 2001
From: Frederik van der Els <49305700+xpple@users.noreply.github.com>
Date: Sat, 25 Jul 2026 17:24:00 +0200
Subject: [PATCH] Normalize path output for --dump-includes

---
 src/main/java/org/openjdk/jextract/impl/IncludeHelper.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/org/openjdk/jextract/impl/IncludeHelper.java b/src/main/java/org/openjdk/jextract/impl/IncludeHelper.java
index 70732230..05d1ccab 100644
--- a/src/main/java/org/openjdk/jextract/impl/IncludeHelper.java
+++ b/src/main/java/org/openjdk/jextract/impl/IncludeHelper.java
@@ -134,7 +134,7 @@ public boolean isEnabled() {
     public void dumpIncludes() {
         try (var writer = Files.newBufferedWriter(Path.of(dumpIncludesFile), StandardOpenOption.CREATE)) {
             Map<Path, Set<Declaration>> declsByPath = usedDeclarations.stream()
-                    .collect(Collectors.groupingBy(d -> d.pos().path(),
+                    .collect(Collectors.groupingBy(d -> d.pos().path().normalize(),
                             () -> new TreeMap<>(Path::compareTo),
                             Collectors.toCollection(() -> new TreeSet<>(Comparator.comparing(Declaration::name)))));
             String lineSep = "";