travis: use pip for cpp/gaplint

.travis.yml

@@ -28,6 +28,8 @@ matrix:
   include:
     - env:
       - SUITE=lint
+      sudo:
+        true
       addons:
 
     - env:

scripts/travis-build-dependencies.sh

@@ -10,18 +10,14 @@ mv Digraphs $HOME/digraphs
 
 if [ "$SUITE" == "lint" ]; then
 
-  # Check-out most recent release of cpplint from GitHub
+  # Install cpplint using pip
   cd $HOME
-  git clone -b master https://github.com/cpplint/cpplint.git lint/cpplint
-  cd lint/cpplint
-  git checkout `git tag | tail -1`
+  sudo pip install cpplint
 
-  # Check out most recent commit of gaplint from GitHub
-  cd $HOME
-  git clone -b master --depth=1 https://github.com/james-d-mitchell/gaplint lint/gaplint
+  # Install gaplint using pip
+  sudo pip install gaplint
 
   # Move Digraphs package into a GAP folder structure, so that cpplint is happy
-  cd $HOME
   mkdir gap gap/.git gap/pkg
   mv digraphs $HOME/gap/pkg/digraphs
 

scripts/travis-test.sh

@@ -8,19 +8,14 @@ touch testlog.txt
 TESTLOG="`pwd`/testlog.txt"
 
 if [ "$SUITE" == "lint" ]; then
-
-  cd $HOME/lint/gaplint
-  GAPLINT="`pwd`/gaplint.py"
-  cd $HOME/lint/cpplint
-  CPPLINT="`pwd`/cpplint.py"
-
+
   cd $HOME/gap/pkg/digraphs
 
   for FILE in `grep "^\s\+gaplint" Makefile.am | cut -d " " -f2-`; do
-    $GAPLINT $FILE
+    gaplint $FILE
   done
   for FILE in `grep "^\s\+cpplint" Makefile.am | cut -d " " -f2-`; do
-    $CPPLINT --extensions=c,cc,h $FILE
+    cpplint --extensions=c,cc,h $FILE
   done
 
 elif [ ! -z "$GAP" ]; then