DevelopmentEnvironment

Development Environment

To create a fresh (Eclipse) development environment, perform these steps:

• Create two new directories of your choosing: a repository ($REPO), an Eclipse workspace ($WSP)
• Clone a copy of the project repository (replace ${USER} with your sourceforge username):
  hg clone ssh://${USER}@hg.code.sf.net/p/jsmtlib/hg $REPO
• Launch Eclipse and choose $WSP as the workspace to use
• Import the Eclipse projects that are in the repository
  • Choose File->Import from the Eclipse menubar
  • Double click Mercurial->Projects from Local Mercurial Repository
  • Browse to $REPO as the root directory
  • Click 'Finish'

TBD - does each project have its own branch? is it set to default or might it be release?

The procedure above produces 4 Eclipse projects:

• SMT contains the jSMTLIB library, including the Main program for the command-line tool
• SMTPlugin contains the GUI code for the Eclipse plug-in; it uses the SMT project
• SMTFeature and SMTUpdateSite are used just for publishing the plug-in