Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Modify Makefile so that it works on Linux.
Took cues from https://gist.github.com/3815802. Verified that `make compiler` succeeds on Ubuntu 12.10.
- Loading branch information