IDEs Support (IntelliJ Platform) | JetBrains

Michael Maier

Total activity 41
Last activity February 23, 2026 16:06
Member since February 15, 2014 11:59
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 11

Edited April 08, 2018 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 votes
Created March 31, 2018 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 votes
Created March 31, 2018 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 votes
Created March 31, 2018 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 votes
Created March 31, 2018 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 votes
Created April 04, 2014 20:20

I found a workaround:http://stackoverflow.com/questions/20476113/how-to-import-existing-node-js-module-into-intellij-idea
- 0 votes
Created April 08, 2014 10:19

Nothing happens :(
- 0 votes
Created October 15, 2014 19:03

Thanks, great work around.
- 0 votes
Created February 15, 2014 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 votes
Created February 15, 2014 17:12

Thanks, that's the shortcut I've been looking for :D
- 0 votes