search

herumi / bls

288 stars 133 forks source link

Modify Travis CI build script. #15

Closed Spiderpowa closed 5 years ago

Spiderpowa commented 5 years ago
  1. Disable sudo to speed up boot time. ref: https://docs.travis-ci.com/user/reference/overview/#virtualisation-environment-vs-operating-system
  2. Remove before_install and use addons to install libgmp-dev
  3. Cloning only the mcl reposity for dependency.
  4. Speed up build time by adding -j3 to make
herumi commented 5 years ago

Thank you for your useful patch.