[TravisCI] install camlp4 from homebrew · 2f84ba8744 - Gogs

[TravisCI] install camlp4 from homebrew

Andy Li 7 years ago

parent

0f60baee7c

commit

2f84ba8744

1 changed files with 2 additions and 0 deletions

Split View Show Diff Stats

						
							+ 2
							
							- 0
						
tests/Brewfile
							 
								View File
							
				@@ -1,3 +1,5 @@
			
				+brew "ocaml"
			
				+brew "camlp4"
			
				 brew "opam"
			
				 brew "ninja"
			
				 brew "zlib"