#3: Make build mechanism platform independent
------------------------------------+---------------------------------------
Reporter: davidcok | Owner: davidcok
Type: task | Status: accepted
Priority: minor | Milestone:
Component: OpenJML-infrastructure | Version:
Keywords: |
------------------------------------+---------------------------------------
Changes (by davidcok):
* owner: => davidcok
* priority: major => minor
* status: new => accepted
Comment:
Platform dependencies are removed or consigned to the openjml.properties
file. ant is now used instead of make, though for now, ant simply
executes some bash scripts. Make is no longer used - ant is a bit more
platform dependent, at least for Eclipse-based development. There is
still a dependence on bash, but enough of the problem is resolved that the
priority of this problem can be reduced.
--
Ticket URL: <
http://sourceforge.net/apps/trac/jmlspecs/ticket/3#comment:1>
jmlspecs <
http://sourceforge.net/projects/jmlspecs/>
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, documentation generation, unit testing, static checking, verification, etc.
------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
