Commits on Dec 17, 2017

1. Overhaul Travis & Codecov setup …

   For Codecov, actually enable status messages in pull requests (so far,
   all were turned off, but for some reason codecov ignores this; still,
   better to specify actual intent in the file).
   
   For Travis, adapt scripts/build_pkg.sh to work with packages not using
   autoconf, so that we can use the same script across many packages. Also
   don't copy the tested package into GAP's pkg dir; instead, put it into
   its own GAP root which we tell GAP to look at before its usual GAP root.
   
   Modify scripts/gather-coverage.sh and scripts/run_tests.sh to use this
   modified list of GAP root dirs
   
   Simplify scripts/build_gap.sh significantly by using BuildPackages.sh.

   

   fingolfin committed Dec 17, 2017
   Configuration menu

   • View commit details
   • Copy full SHA for eb9322e
   • Browse repository at this point

   Copy the full SHA

   eb9322e View commit details

   Browse the repository at this point in the history