Fix build scripts (#668)
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 1 Sep 2018 18:50:38 +0000 (19:50 +0100)
committerGitHub <noreply@github.com>
Sat, 1 Sep 2018 18:50:38 +0000 (19:50 +0100)
commit12e6635a583a48cee81d7ac007687a5038519244
treea64068cdb8eb1df1d060af4527c7b3acdc8813f5
parent90d07d7bf42bc6f04af10b6bb38953e99a86c514
Fix build scripts (#668)

* Delete scripts relying on global package database

* Simplify Cabal build script

* Simplify the default build script

* Fix path

* Invoke the build script from GHC root

* Switch to newer Cabal

* Don't disable Cabal output

* Add build.cabal.bat
.travis.yml
build.cabal.bat [new file with mode: 0644]
build.cabal.sh
build.global-db.bat [deleted file]
build.global-db.sh [deleted file]
build.sh
circle.yml