mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-09 15:41:26 +07:00
[intellij project configuration] migrate Java runtime to Java 8
#IDEA-374134 Fixed GitOrigin-RevId: a9f7fb2b70a407af196ffcc2bc6ab859230cf014
This commit is contained in:
committed by
intellij-monorepo-bot
parent
7f5d680fe9
commit
3214e71f14
@@ -17,7 +17,7 @@ jvm_library(
|
||||
module_name = "intellij.java.rt",
|
||||
visibility = ["//visibility:public"],
|
||||
srcs = glob(["src/**/*.kt", "src/**/*.java"], allow_empty = True),
|
||||
kotlinc_opts = "@community//:k7",
|
||||
kotlinc_opts = "@community//:k8",
|
||||
deps = [
|
||||
"@lib//:java-rt-ant-1-7-1-provided",
|
||||
":libraries_junit4_provided",
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<module relativePaths="true" type="JAVA_MODULE" version="4">
|
||||
<component name="NewModuleRootManager" LANGUAGE_LEVEL="JDK_1_7" inherit-compiler-output="true">
|
||||
<component name="NewModuleRootManager" LANGUAGE_LEVEL="JDK_1_8" inherit-compiler-output="true">
|
||||
<exclude-output />
|
||||
<annotation-paths>
|
||||
<root url="file://$MODULE_DIR$/anno" />
|
||||
|
||||
Reference in New Issue
Block a user