search

pascal-lab / Tai-e-assignments

Tai-e assignments for static program analysis
https://tai-e.pascal-lab.net/
GNU Lesser General Public License v3.0
1.01k stars 234 forks source link

Help wanted: IDEA could not get openjdk 17 #1

Closed LuoRongLuoRong closed 2 years ago

LuoRongLuoRong commented 2 years ago

Hi, sir! I followed the instructions in Set Up Tai-e Assignments. But when I built the Tai-e project, I failed. The information IDEA output is as follows:

Failed to calculate the value of task ':compileJava' property 'javaCompiler'.
Unable to download toolchain matching these requirements: {languageVersion=17, vendor=any, implementation=vendor-specific}
Could not GET 'https://api.adoptopenjdk.net/v3/binary/latest/17/ga/windows/x64/jdk/hotspot/normal/adoptopenjdk'.
Read timed out
Read timed out

So I download https://api.adoptopenjdk.net/v3/binary/latest/17/ga/windows/x64/jdk/hotspot/normal/adoptopenjdk. It is a zip file named OpenJDK17U-jdk_x64_windows_hotspot_17.0.2_8.zip. But when I check File->Project structure->SDK, there was a jdk corretto-17. I don't know why IDEA still wanna download another openjdk.

And I still don't know how to deal the build fail problem. So, could anybody help me? Thank you : )

LuoRongLuoRong commented 2 years ago

Well, I restarted IDEA, and it built the project successfully. 😰