Rascal Developers Setup Step by Step

Git setup

Some general git tips, and a few github specific tips.

• be sure to setup your name in git: git config --global user.name "Rascal Developer #42"

• be sure to setup your email address: git config --global user.email "[email protected]" (this should match one of the email addresses in your profile)

• use the ssh URLs, they are easier to use, especially in combination with public keys.

• make sure you use the ssh over port 443 tunneling trick this will assure you are able to access the repository anywhere :).

• Run this command git config --global pull.rebase preserve to avoid merge-commits but instead let pull rebase your unpushed commites on top of the remote commits

  • If conflict arises, you have to fix them as before, however, you have to remember to type git rebase --continue instead of git commit
  • If you would want to merge a branch, make sure not to use pull, but use fetch && merge --no-ff.

Clone Projects from github

The following projects should all reside in the same workspace which you use to develop Rascal:

• pdb
• pdb.ui
• pdb.values
• imp.runtime
• AmbiDexter
• rascal
• rascal-eclipse
• rascal-shell

Install Additional Dependencies

Afterwards there are still some dependencies that have to be installed as Eclipse plug-ins:

1. Add this Orbit Build Repository to the Eclipse update sites.

• And install ASM from that update site

Configure Tutor Compiler

Optionally, if you want to run the tutor compiler, see this page: Updating Tutor Documentation.