Skip to content

Commit

Permalink
Add PINS for rpc, xapi-rrd, fat-filesystem
Browse files Browse the repository at this point in the history
These can be removed when the following are released:

- xapi-project/xcp-rrd#20
- mirage/ocaml-rpc#45
- mirage/ocaml-fat#68

Signed-off-by: David Scott <dave@recoil.org>
  • Loading branch information
djs55 committed Jun 24, 2017
1 parent 600b858 commit 0d4d00b
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@ env:
global:
- FORK_USER=avsm
- FORK_BRANCH=mirage3
- PINS="rpc:git://github.com/djs55/rpc-light#fix-build xapi-rrd:git://github.com/djs55/xcp-rrd#fix-build fat-filesystem:git://github.com/djs55/ocaml-fat#fix-build"
- secure: PUu3+Enupf9jcIPD/hs5b6zrNuJagTDXJGtYfSUIFvzevSXZzs6mXPu8L2vvAQbQ8ig/8VLToa44vUTG9OEy9SxXrR6yTQGfj4YxJ5BXKHwhYMTBXnR1e+S1gA4a5tilMa7M/a0hWa1rORv3diMIK3dihjc1m6VzpCK/4vly7KU=
- secure: crnwZ3MDUA9szI/EuwB9o7plXVF2QCx+JpOazy4SwC2v47Vf5voOEAxh7iFMgGziBqzKGVnDw4/37WHVm5vdgaL4lL2T73F1PqXbiCdhhwZVcf+EAXr8KmoaNXRieL7qPsemQVvPWUiERZRmR2okvm60EqifZA9/dy/48dJIGMI=
- secure: JijSTl0jOOPL0HoWooCBnhokjqboQSgwy3orgG5nUIPrluthNjix4ujds9TOuEtv2pflbgptUUdYJ7R6VfeZk/UWIVUbwBRjtMJRQRDPB0jxyoL9VLGzTwfdovwV0Rg0jeJkBWsAJjIxkdawE2R4wexAOn/tWDiLaSQh/n096Fc=
Expand Down
2 changes: 1 addition & 1 deletion stats/Makefile
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
LIBS = -pkgs lwt.syntax,js_of_ocaml,js_of_ocaml.syntax,js_of_ocaml.log,c3,uri,re.str,rrd,bigarray
PKGS = js_of_ocaml lwt c3 uri xapi-rrd.0.12.0 re rpc.1.5.4
PKGS = js_of_ocaml lwt c3 uri xapi-rrd re rpc
SYNTAX = -tags "syntax(camlp4o),annot,bin_annot,strict_sequence,principal,thread"

SYNTAX += -tag-line "<static*.*>: -syntax(camlp4o)"
Expand Down

0 comments on commit 0d4d00b

Please sign in to comment.