Advertisement
Guest User

DrJava Development README

a guest
Sep 3rd, 2012
162
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.75 KB | None | 0 0
  1. -------------------------------------------------------------------------------
  2. DrJava Development README
  3.  
  4. $Id: README 4678 2008-11-21 22:21:11Z dlsmith $
  5. -------------------------------------------------------------------------------
  6.  
  7. Full and updated documentation for developers (including how to set up
  8. your build environment), is online at the address below.
  9.  
  10. http://drjava.sf.net/devdocs/
  11.  
  12. -------------------------------------------------------------------------------
  13.  
  14. QuickStart Guide For Building DrJava
  15. by Corky Cartwright (cork@rice.edu)
  16.  
  17. The following guide presumes that you already have the following
  18. software systems installed on your system and accessible via your
  19. shell search path:
  20.  
  21. * Java 5.0 or 6.0 SDK,
  22. * subversion (svn) 1.4 or above, and
  23. * ant 1.7 or above.
  24.  
  25. If not, follow the instructions at http://www.drjava.org/devdocs/ for
  26. setting up a DrJava development environment.
  27.  
  28. 1) Make a directory to be the top-level container for you drjava code
  29. tree. I recommend "dj".
  30.  
  31. 2) Descend into this new directory by typing the command
  32.  
  33. cd ~/dj
  34.  
  35. 3) Download the drjava source code base by typing the command
  36.  
  37. svn co https://drjava.svn.sourceforge.net/svnroot/drjava/trunk/drjava
  38.  
  39. 4) After this download completes, descend into the root directory of
  40. the dowloaded code base by typing the command
  41.  
  42. cd drjava
  43.  
  44. 5) To compile the code base and generate a jar file containing the
  45. compiled program, enter the command
  46.  
  47. ant jar
  48.  
  49. which builds a jar filed named drjava.jar
  50.  
  51. If the build is successful, you can execute the built program by
  52. entering the command
  53.  
  54. java -jar drjava.jar
  55.  
  56. If you encounter any problems, consult the Developer Docs at
  57. drjava.org by visiting http://www.drjava.org/devdocs/.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement