Commit 78b7661f authored by Gianfranco Costamagna's avatar Gianfranco Costamagna
Browse files

New upstream version 1.1

parent a19b25a8

.gitattributes

0 → 100644
+1 −0
Original line number Diff line number Diff line 
.travis.yml merge=ours

.gitignore

+2 −0
Original line number Diff line number Diff line
@@ -13,4 +13,6 @@ 
dist

Everything.agda

EverythingSafe.agda

EverythingSafeGuardedness.agda

EverythingSafeSizedTypes.agda

html

.travis.yml

+21 −17
Original line number Diff line number Diff line
@@ -2,11 +2,9 @@ language: c 
branches:

  only:

  - master

  - travis

  - experimental



sudo: enabled



dist: trusty

dist: xenial



cache:

  directories:
@@ -14,14 +12,12 @@ cache: 


matrix:

  include:

    - env: TEST=MAIN GHC_VER=8.0.2 BUILD=CABAL CABAL_VER=1.24

    - env: TEST=MAIN GHC_VER=8.4.4 BUILD=CABAL CABAL_VER=2.2

      addons:

        apt:

          packages:

            - alex-3.1.7

            - cabal-install-1.24

            - ghc-8.0.2

            - happy-1.19.5

            - cabal-install-2.2

            - ghc-8.4.4

          sources:

            - hvr-ghc
@@ -32,9 +28,10 @@ install: 
  - cabal update

  - sed -i 's/^jobs:/-- jobs:/' $HOME/.cabal/config

  # checking whether .ghc is still valid

  - cabal install --only-dependencies --dry -v agda > $HOME/installplan.txt

  - cabal install alex happy

  - cabal install --only-dependencies --dry -v > $HOME/installplan.txt

  - sed -i -e '1,/^Resolving /d' $HOME/installplan.txt; cat $HOME/installplan.txt

  - touch $HOME/.cabsnap/intallplan.txt

  - touch $HOME/.cabsnap/installplan.txt

  - mkdir -p $HOME/.cabsnap/ghc $HOME/.cabsnap/lib $HOME/.cabsnap/share $HOME/.cabsnap/bin

  - if diff -u $HOME/.cabsnap/installplan.txt $HOME/installplan.txt;

    then
@@ -48,7 +45,7 @@ install: 
      mkdir -p $HOME/.ghc $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin;

    fi

  - cabal install cpphs

  - cabal install agda

  - cabal install Agda

  # snapshot package-db on cache miss

  - echo "snapshotting package-db to build-cache";

    mkdir $HOME/.cabsnap;
@@ -66,19 +63,25 @@ install: 
  # setting up travis-specific scripts and files

  - cp travis/* .



before_script:

  - export RTS_OPTIONS="+RTS -M2.5G -H2.5G -A128M -RTS"



script:

  # generating index.agda

  - ./index.sh

  # detecting whitespace violations

  - make check-whitespace

  # expose the value of RTS_OPTIONS

  - echo $RTS_OPTIONS

  # checking safe modules build with --safe

  # - agda -i . -i src/ --safe safe.agda

  - agda $RTS_OPTIONS -i . -i src/ --safe EverythingSafeGuardedness.agda

  - agda $RTS_OPTIONS -i . -i src/ --safe EverythingSafeSizedTypes.agda

  # detecting basic compilation errors

  - agda -i . -i src/ -c --no-main Everything.agda

  - agda $RTS_OPTIONS -i . -i src/ -c --no-main Everything.agda

  # building the docs

  - agda -i . -i src/ --html safe.agda

  - agda -i . -i src/ --html index.agda

  # moving everything at the root

  - agda $RTS_OPTIONS -i . -i src/ --html safe.agda

  - agda $RTS_OPTIONS -i . -i src/ --html index.agda

  # moving everything to the doc directory

  - mv html/* .



after_success:
@@ -88,6 +91,7 @@ after_success: 
  - git config --global user.email "travis-ci-bot@travis.fake"

  - git remote add upstream https://$GH_TOKEN@github.com/agda/agda-stdlib.git &>/dev/null

  - git fetch upstream && git reset upstream/gh-pages

  - git checkout HEAD -- v0.16/ v0.17/ v1.0/ experimental/

  - git add -f \*.html

  - git commit -m "Automatic HTML update via Travis"

  - if [ "$TRAVIS_PULL_REQUEST" = "false" ] && [ "$TRAVIS_BRANCH" = "master" ];

CHANGELOG.md

+747 −674

File changed.

Preview size limit exceeded, changes collapsed.

CHANGELOG/v0.17.md

0 → 100644
+953 −0

File added.

Preview size limit exceeded, changes collapsed.