travis-meta.sh

   1 #!/bin/sh
   2
   3 . ./travis-common.sh
   4
   5 export PATH=/opt/cabal/head/bin:$PATH
   6
   7 # ---------------------------------------------------------------------
   8 # Check that auto-generated files/fields are up to date.
   9 # ---------------------------------------------------------------------
  10
  11 # Regenerate the CONTRIBUTORS file.
  12 # Currently doesn't work because Travis uses --depth=50 when cloning.
  13 #./Cabal/misc/gen-authors.sh > AUTHORS
  14
  15 timed cabal update
  16
  17 # Regenerate files
  18 timed make lexer
  19 timed make gen-extra-source-files
  20 timed make spdx
  21
  22 # Fail if the diff is not empty.
  23 timed ./Cabal/misc/travis-diff-files.sh