Last active
August 29, 2015 14:07
-
-
Save mietek/ce56eef046dc0d6bf0c0 to your computer and use it in GitHub Desktop.
Deploying Idris with Halcyon
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ time deploy --constraints-file=idris-0.9.15.1.cabal.config --sandbox-extra-apps=alex-3.1.3 --sandbox-extra-apps-constraints-dir=idris-0.9.15.1-constraints idris-0.9.15.1 | |
-----> Examining cache contents | |
halcyon-cabal-1.20.0.3-hackage-2014-10-29.tar.xz | |
halcyon-ghc-7.8.3.tar.xz | |
halcyon-slug-d8e2e29-idris-0.9.15.1.tar.gz | |
-----> Deploying environment | |
GHC version: 7.8.3 | |
Cabal version: 1.20.0.3 | |
Cabal repository: Hackage | |
External storage: private and public | |
-----> Using existing GHC layer: 7.8.3 | |
-----> Using existing updated Cabal layer: 1.20.0.3, Hackage 2014-10-29 | |
-----> Unpacking app | |
-----> Deploying app from slug | |
App label: idris-0.9.15.1 | |
Source hash: d8e2e29 | |
External storage: private and public | |
-----> Restoring slug | |
Extracting halcyon-slug-d8e2e29-idris-0.9.15.1.tar.gz... done, 147MB | |
-----> Slug restored: idris-0.9.15.1 (d8e2e29) | |
-----> App deployed: idris-0.9.15.1 (d8e2e29) | |
real 0m12.001s | |
user 0m7.095s | |
sys 0m5.190s |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment