Build using Maven with Eclipse Tycho

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.

http://andriusvelykis.github.io/isabelle-eclipse

Eclipse Public License 1.0

12 stars 4 forks source link

Build using Maven with Eclipse Tycho #4

Closed andriusvelykis closed 12 years ago

andriusvelykis commented 12 years ago

The installation/development environment is a bit ad-hoc at the moment. Migrate the build to Maven with Eclipse Tycho, which also allows building features/update sites nicely.

andriusvelykis commented 12 years ago

Migrated Isabelle/Eclipse (and Isabelle/Scala submodule) to Maven + Eclipse Tycho. The plug-ins can now be built using mvn clean install (Eclipse m2e also seems to be working)