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:

• rascal.values
• impulse
• rascal
• rascal-eclipse
• rascal-shell

Import into Eclipse

• Import the above projects as existing projects into Eclipse, and you are all set to:
• Run a second level Eclipse
• Or Run as the RascalShell from the rascal-shell project

Compile on commandline

• In the order given above, type mvn clean install in every cloned project

Install Additional Dependencies

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