diff options
Diffstat (limited to '.idea/ant.xml')
| -rw-r--r-- | .idea/ant.xml | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/.idea/ant.xml b/.idea/ant.xml index c853cb11..764d23e5 100644 --- a/.idea/ant.xml +++ b/.idea/ant.xml @@ -1,6 +1,17 @@ <?xml version="1.0" encoding="UTF-8"?> <project version="4"> <component name="AntConfiguration"> - <buildFile url="file://$PROJECT_DIR$/build-docs.xml" /> + <buildFile url="file://$PROJECT_DIR$/build-docs.xml"> + <customJdkName value="1.8" /> + <properties> + <property name="kotlin.compiler" value="$PROJECT_DIR$/../kotlin/dist/kotlinc" /> + </properties> + </buildFile> + <buildFile url="file://$PROJECT_DIR$/build.xml"> + <customJdkName value="1.8" /> + <properties> + <property name="kotlin.compiler" value="$PROJECT_DIR$/../kotlin/dist/kotlinc" /> + </properties> + </buildFile> </component> </project>
\ No newline at end of file |