< 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 >