Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
run-tests - Run tests in various languages in one test-harness For details on operation, see the included manuals. To generate documentation, you need `pandoc' installed. Then do: % make doc To install the software to a default PREFIX of /usr/local, do: # make install If another PREFIX is required, you can set it like this: % make install PREFIX="$HOME"