New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
First attempt at CircleCI config #1087
Merged
tekknolagi
merged 20 commits into
reasonml:master
from
tekknolagi:mb-add-circleci-config
Feb 22, 2017
Merged
Changes from 16 commits
Commits
Show all changes
20 commits
Select commit
Hold shift + click to select a range
cd8a7f2
First attempt at CircleCI config
tekknolagi 595db2a
Empty commit to trigger CircleCI
tekknolagi 206659f
Modify shell profile
tekknolagi e51fb17
Cache ~/.opam
tekknolagi dc1842a
Remove pre section
tekknolagi 01564dd
Move dep install to dependencies section
tekknolagi 1fc623f
Try again
tekknolagi 9433bc0
Try pre instead of override
tekknolagi b38b06a
Override; no pre
tekknolagi 9af57ce
PATH-prefix
tekknolagi 9539c79
Add cache back
tekknolagi d9120db
Specify bashrc
tekknolagi 68e8648
Cache apt packages too
tekknolagi 1959389
Add partial dir
tekknolagi 451b7c6
Add sudo to commands
tekknolagi 25178db
Remove comments
tekknolagi 5051c2d
Remove aptcache directives
tekknolagi c457c4c
Test with multiple versinos (pls pray it works)
tekknolagi 20ebba4
Remove multi-version until future
tekknolagi 8f5929f
Add back apt cache setup with comments
tekknolagi File filter
Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
There are no files selected for viewing
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
dependencies: | ||
cache_directories: | ||
- "~/.opam" | ||
- "~/aptcache" | ||
override: | ||
- sudo add-apt-repository -y ppa:avsm/ppa | ||
- sudo mkdir -p ~/aptcache/partial | ||
- sudo touch ~/aptcache/lock | ||
- sudo chmod 640 ~/aptcache/lock | ||
- sudo apt-get update -o dir::cache::archives="/home/ubuntu/aptcache" -y | ||
- sudo apt-get install -o dir::cache::archives="/home/ubuntu/aptcache" -y ocaml ocaml-native-compilers opam | ||
- opam init --auto-setup --dot-profile=~/.bashrc # Modify dotfiles | ||
- opam switch 4.02.3 | ||
- eval `opam config env` | ||
- opam update | ||
- opam pin add -y reason . | ||
|
||
compile: | ||
override: | ||
- make build | ||
|
||
test: | ||
override: | ||
- make test | ||
- git diff --exit-code |
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What's the lock for?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Oh I had to add this one time. Guess I could have done that via SSH. Can remove.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@yunxing I am slightly worried that this could be an issue in the future if the cache gets wiped. I might add them back in with a comment.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@tekknolagi ah, ok. Please feel free to add it back with a comment.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Done.