Commit a19b25a8 authored by Sean Whitton's avatar Sean Whitton
Browse files

New upstream version 0.17

parent 0b394699

.gitignore

+2 −0
Original line number Diff line number Diff line
@@ -4,6 +4,7 @@ 
.*.swp

*.agdai

*.agda.el

.DS_Store

*.lagda.el

*.hi

*.o
@@ -11,4 +12,5 @@ 
*.vim

dist

Everything.agda

EverythingSafe.agda

html

.travis.yml

+24 −7
Original line number Diff line number Diff line
@@ -2,8 +2,9 @@ language: c 
branches:

  only:

  - master

  - travis



sudo: false

sudo: enabled



dist: trusty
@@ -28,11 +29,10 @@ before_install: 
  - export PATH=/opt/ghc/$GHC_VER/bin:/opt/cabal/$CABAL_VER/bin:/opt/alex/3.1.7/bin:/opt/happy/1.19.5/bin:~/.cabal/bin/:$PATH;



install:

  - git clone https://github.com/agda/agda --depth=1 --single-branch

  - cabal update

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

  # checking whether .ghc is still valid

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

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

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

  - touch $HOME/.cabsnap/intallplan.txt

  - mkdir -p $HOME/.cabsnap/ghc $HOME/.cabsnap/lib $HOME/.cabsnap/share $HOME/.cabsnap/bin
@@ -48,21 +48,36 @@ install: 
      mkdir -p $HOME/.ghc $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin;

    fi

  - cabal install cpphs

  - cd agda && cabal install --only-dependencies && make CABAL_OPTS=-v2 install-bin

  - cabal install agda

  # snapshot package-db on cache miss

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

    mkdir $HOME/.cabsnap;

    cp -a $HOME/.ghc $HOME/.cabsnap/ghc;

    cp -a $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin $HOME/installplan.txt $HOME/.cabsnap/;

  # installing fix-agda-whitespace

  - git clone https://github.com/agda/agda --depth=1

  - cd agda/src/fix-agda-whitespace

  - cabal install fix-agda-whitespace.cabal

  - cd -

  - yes | rm -R agda/

  # generating Everything.agda

  - cd $HOME/build/agda/agda-stdlib

  - cabal install lib.cabal

  - runghc GenerateEverything.hs

  # setting up travis-specific scripts and files

  - cp travis/* .



script:

  # generating index.agda

  - ./index.sh

  # detecting whitespace violations

  - make check-whitespace

  # checking safe modules build with --safe

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

  # detecting basic compilation errors

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

  # building the docs

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

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

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

  # moving everything at the root

  - mv html/* .
@@ -75,7 +90,9 @@ after_success: 
  - git fetch upstream && git reset upstream/gh-pages

  - git add -f \*.html

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

  - if [ "$TRAVIS_PULL_REQUEST" = "false" ]; then git push -q upstream HEAD:gh-pages &>/dev/null; fi

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

    then git push -q upstream HEAD:gh-pages &>/dev/null;

    fi



notifications:

  email: false

CHANGELOG.md

+725 −904

File changed.

Preview size limit exceeded, changes collapsed.

CHANGELOG/v0.01.md

0 → 100644
+8 −0
Original line number Diff line number Diff line 
Version 0.1

===========



Version 0.1 of the

["standard" library](http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary)

has now been released.



The library has been tested using Agda version 2.2.2.

CHANGELOG/v0.02.md

0 → 100644
+11 −0
Original line number Diff line number Diff line 
Version 0.2

===========



Version 0.2 of the

["standard" library](http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary)

has now been released.



The library has been tested using Agda version 2.2.4.



Note that the library sources are now located in the sub-directory

`lib-<version>/src` of the installation tarball.