travis-meta.sh

   1 #!/bin/sh
   2
   3 . ./travis-common.sh
   4
   5 # ---------------------------------------------------------------------
   6 # Check that auto-generated files/fields are up to date.
   7 # ---------------------------------------------------------------------
   8
   9 # Regenerate the CONTRIBUTORS file.
  10 # Currently doesn't work because Travis uses --depth=50 when cloning.
  11 #./Cabal/misc/gen-authors.sh > AUTHORS
  12
  13 # Regenerate the 'extra-source-files' field in Cabal.cabal.
  14 (cd Cabal && timed ./misc/gen-extra-source-files.hs Cabal.cabal) || exit $?
  15
  16 # Regenerate the 'extra-source-files' field in cabal-install.cabal.
  17 (cd cabal-install && ../Cabal/misc/gen-extra-source-files.hs cabal-install.cabal) || exit $?
  18
  19 # Fail if the diff is not empty.
  20 timed ./Cabal/misc/travis-diff-files.sh