< prev index next >

src/jdk.jextract/share/classes/com/sun/tools/jextract/Main.java

Print this page

        

@@ -163,10 +163,13 @@
 
         if (options.has("I")) {
             options.valuesOf("I").forEach(p -> ctx.addClangArg("-I" + p));
         }
 
+        // append the built-in headers directory
+        ctx.addClangArg("-I" + getBuiltinHeadersDir());
+
         if (options.has("C")) {
             options.valuesOf("C").forEach(p -> ctx.addClangArg((String) p));
         }
 
         if (options.has("l")) {

@@ -280,10 +283,14 @@
         }
 
         return 0;
     }
 
+    private static Path getBuiltinHeadersDir() {
+        return Paths.get(System.getProperty("java.home"), "conf", "jextract");
+    }
+
     public static void main(String... args) {
         Main instance = new Main(new Context());
 
         System.exit(instance.run(args));
     }
< prev index next >