mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
jsr166e.jar included into standalone jps distribution
This commit is contained in:
@@ -717,6 +717,7 @@ def layoutCommunityJps(String home, String target) {
|
||||
include(name: "log4j.jar")
|
||||
include(name: "jgoodies-forms.jar")
|
||||
include(name: "ecj*.jar")
|
||||
include(name: "jsr166e.jar")
|
||||
}
|
||||
dir("test") {
|
||||
jar("jps-build-test.jar") {
|
||||
|
||||
@@ -146,6 +146,7 @@ public class ClasspathBootstrap {
|
||||
cp.add(getResourcePath(NotNullVerifyingInstrumenter.class)); // not-null
|
||||
cp.add(getResourcePath(IXMLBuilder.class)); // nano-xml
|
||||
cp.add(getResourcePath(SequenceLock.class)); // jsr166
|
||||
//don't forget to update layoutCommunityJps() in layouts.gant accordingly
|
||||
|
||||
if (!isLauncherUsed) {
|
||||
appendJavaCompilerClasspath(cp);
|
||||
|
||||
Reference in New Issue
Block a user