julia-helper
January 31, 2015 ยท View on GitHub
Scripts to help Julia developers
What's this?
This repository contains some git hooks, which are user level
scripts that are run by git automatically when certain commands are
executed. Currently pre-commit and pre-push hooks are provided, which are
run before the usual git commit and git push commands respectively.
The idea is to provide checks to be run each time code is checked in.
These git hooks can be bypassed with --no-verify to the appropriate git
command.
pre-commit runs make whitespace to check for whitespace.
pre-push runs more extensive checks before allowing commits to be pushed:
- Checks
.travis.ymlto ensure that it is a valid Travis configuration - Checks that the documentation can be built in both HTML and PDF formats
- Runs the entire Julia test suite
Prerequisites
- A git checkout of Julia. The path will
be referred to here as
$JULIAHOME. - A build environment suitable for building Julia.
- (Optional) travis-yaml, the Travis Configuration Parser
- (Optional) Python with virtualenv installed, for testing that the documentation builds
- (Optional)
pdflatexfor building PDF documentation. (Some documentation issues are only uncovered in the PDF build.)
Installation
Simply copy the git hooks to the appropriate .git/hooks subdirectory of
your Julia repository, or append to your existing git hooks.
Example:
ln -s julia-helper/julia/git-hooks/pre-push.sample $JULIAHOME/.git/hooks/pre-push
ln -s julia-helper/julia/git-hooks/pre-commit.sample $jULIAHOME/.git/hooks/pre-commit