Mercurial > hg > Members > kono > jpf-core
view README @ 16:08ca336d5928
fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
first stab at IntelliJ configuration. Note that the provided run configs require
the 3rd party ContextRun IntelliJ plugin
(https://github.com/m-lau/contextrun.git).
The mapping uses a IntelliJ "project" per JPF project, and a IntelliJ "module"
for each of the src/* subdirs (main, peers, classes,..). This is required to be
able to set the subdir specific output dirs (build/main,...), which are in turn
required to separate the jar contents and classpaths. We also keep the module
definitions (*.iml) files under .idea and share the run configs, so that we can
avoid any IDE content outside the IDE config dir.
Separating the projects has also the silver lining that simultaneously opened
projects are much better separated, which helps a lot if they contain the same
class names.
Note that the session specific .idea/workspace.xml is in .hgignore and hence
doesn't get cloned/merged
While this is all not the most IntelliJ compliant schema, the JPF directory layout
can stay the same and Eclipse/Netbeans compatibility should not be affected.
author | Peter Mehlitz <pcmehlitz@gmail.com> |
---|---|
date | Fri, 20 Mar 2015 15:47:10 -0700 |
parents | 61d41facf527 |
children |
line wrap: on
line source
Java PathFinder README ====================== ========General Information about JPF =================== All the latest developments, changes, documentation can be found at: http://babelfish.arc.nasa.gov/trac/jpf/wiki ========Building and Installing ========================= If you are having problems installing and running JPF please look at the documentation on the wiki at: http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/start A lot of the commonly problems during the install and build process have been documented on the wiki. Please make sure that the the issue you are running into is not addressed there; if is not then feel free to contact us at java-pathfinder@googlegroups.com ======Documentation====================================== There is a constant effort to update and add JPF documentation on the wiki. If you would like to contribute in that, please contact us at java-pathfinder@googlegroups.com Happy Verification -- the Java PathFinder team