Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history 
[skip ci]
  • Loading branch information
@btj
btj authored Aug 15, 2019
1 parent fea1825 commit e5a1152
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,10 @@
[![Build Status](https://travis-ci.org/verifast/vfdeps.svg?branch=master)](https://travis-ci.org/verifast/vfdeps)

# vfdeps
Dependencies for VeriFast

This repository contains the build script for building OCaml and the OCaml-based packages needed to build [VeriFast](https://github.com/verifast/verifast) for Linux and macOS.

The Travis CI build script deploys the generated binary package to [Bintray](https://dl.bintray.com/verifast/verifast).

For the Windows version, see [vfdeps-win](https://github.com/verifast/vfdeps-win).

0 comments on commit e5a1152

Please sign in to comment.