Why 'Use external build' settings are in workspace.xml

Hi

I our company we checkout project from VCS.
workspace.xml is not under VCS, becuase till now we 'belive' that it contains 'personal' stuff that won't affect the build

But now I see that 'Use external build' are in 'workspace.xml' thus we have no way to trun it off.

Is it the right place for it ?

Thanks
Boaz

4 comments
Comment actions Permalink

Hi Boaz,

We beleive that this is the right place for the option because  this is the choice of the tool that user makes individually.  It is one of the settings that controls how IDE behaves and this is  per-user/per-project.

Best regards,
   Eugene Zhuravlev

0
Comment actions Permalink

Hi

You belive that it is only matte rof behaviour ?
Do you assume that interanl & extaenl build results are 'binary equal' ?
Suppose that we know that for specific project  extenral build willn ever work - so we need to ask every developer: "please after check out  the project, turn off external build" ?
Does it make sense ?

Thanks
Boaz

0
Comment actions Permalink

Well, to some extent you are right.
This is temporary option, because in the future we are going to switch to the new implementation completely, so the setting will be removed. So from this point of view it makes sense to store it per-project.
We'll come up with someting soon.

Thanks,  
  Eugene.

0
Comment actions Permalink

Related to this, I just tried our IDEA plugin that adds a TranslatingCompiler, which works fine when "Use external build" is off, but is not invoked at all when the option is on.
Unfortunately, you can only switch off external build for the whole project, so we cannot build Java code externally, but invoke our plugin using the old build process.
Wouldn't it make sense to have the switch per module or per compiler? Or is a mixture of old and new build process within one project completely impossible?
Do you have any pointer at documentation on how to migrate compiling IDEA plugins to the new build system?

Greetings
-Frank-

0

Please sign in to leave a comment.