IDEs Support (IntelliJ Platform) | JetBrains

Michael Maier

活动总数 41
最后的活动 2026年02月23日 16:06
成员加入日期 2014年02月15日 11:59
关注 0 名用户
关注者数 0 名用户
投票数 0
订阅数 11

创建于 2018年04月08日 11:18

Even though I could reproduce the problem on my system using another project directory (fresh clone of repository), I wasn't able to reproduce it on another system I setup in a VM. Both systems run...
- 0 票
已编辑于 2018年04月08日 11:09

The problem occurs with this project. I was able to reproduce the problem (on my system) by doing: git clone https://github.com/sosy-lab/cpachecker.git idea cpachecker "Run Ant Target 'build'" gi...
- 0 票
创建于 2018年03月31日 20:26

Thanks, that worked. I guess this is a good solution. Even though I'd prefer that Intellij uses the same compiler (configuration) for code analysis as Ant. But I guess that's not easily possible. I...
- 0 票
创建于 2018年03月31日 12:27

I tried to use the Error-prone Compiler Integration plugin for Intellij, but it throws an unhandled exception. After that, I tried to configure the run configuration of my test to use Ant to build:...
- 0 票
创建于 2018年03月31日 10:38

What am I looking for in the build.log? I suppose it is a bug in the compiler as described here. If Intellij uses the same compiler as Ant, there should be no build error. CPAChecker is not a minim...
- 0 票
创建于 2018年03月31日 10:11

I added a target to build.xml <target name="print-version"> <echo>Java/JVM version: ${ant.java.version}</echo> <echo>Java/JVM detail version: ${java.version}</echo> </target> and run "ant p...
- 0 票
创建于 2014年04月04日 20:20

I found a workaround:http://stackoverflow.com/questions/20476113/how-to-import-existing-node-js-module-into-intellij-idea
- 0 票
创建于 2014年04月08日 10:19

Nothing happens :(
- 0 票
创建于 2014年10月15日 19:03

Thanks, great work around.
- 0 票
创建于 2014年02月15日 15:42

Thanks for your help.ctrl + Y is "delete line at caret" and is not the equivalent in Windows.command + Y is used in this video at 25:17 and shows a file-preview:This shortcut is used with "go to fi...
- 0 票