Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
C Makefile Shell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
# What the hell is this thing? Move along. Nothing to see here. # Dependencies - libgmp >= ??? Currently we do exactly zero checking that these dependencies are fulfilled.