Use cabal new-build on Travis

.travis.yml

@@ -3,13 +3,18 @@ sudo: false
 
 language: c
 
+cache:
+  directories:
+  - $HOME/.ghc
+  - $HOME/.cabal
+
 matrix:
   include:
-    - env: CABALVER="1.24" GHCVER="8.2.1"
+    - env: CABALVER="2.0" GHCVER="8.2.1"
       compiler: ": #GHC 8.2.1"
-      addons: {apt: {packages: [cabal-install-1.24,ghc-8.2.1], sources: [hvr-ghc]}}
+      addons: {apt: {packages: [cabal-install-2.0,ghc-8.2.1], sources: [hvr-ghc]}}
     - os: osx
-      env: CABALVER="1.24" GHCVER="8.2.1"
+      env: CABALVER="2.0" GHCVER="8.2.1"
       compiler: ": #GHC 8.2.1"
 
 before_install:
@@ -31,12 +36,7 @@ before_install:
 
 install:
   - cabal update
-  - cabal sandbox init
-  - cabal install Cabal
-  - make
-
-script:
-  - make test DIFF=""
+  - cabal new-build -j
 
 notifications:
   email: false

cabal.project

@@ -0,0 +1,2 @@
+packages:
+    cryptol.cabal