You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by GitBox <gi...@apache.org> on 2020/04/09 18:47:06 UTC
[GitHub] [tomcat] fhanik opened a new pull request #274: Include Graal
configuration files
fhanik opened a new pull request #274: Include Graal configuration files
URL: https://github.com/apache/tomcat/pull/274
for embedded jars so that the native-image compiler picks it up automatically
Location of Graal native-image files:
META-INF/native-image/groupId/artifactId
https://www.graalvm.org/docs/reference-manual/native-image/
Native Image Configuration
This commit contains a sample embedded application, a script to build
the native image and a script to test the native image for functionality
Known Issues: reflection for JMX has intentionally been left out
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org
[GitHub] [tomcat] fhanik merged pull request #274: Include Graal
configuration files
Posted by GitBox <gi...@apache.org>.
fhanik merged pull request #274: Include Graal configuration files
URL: https://github.com/apache/tomcat/pull/274
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org