Code

Local OPAM packages for Travis#4

Code

Merged

palmskog merged 4 commits intomasterDistributedComponents/verdi-lockserv:masterfrom opam-travis-localDistributedComponents/verdi-lockserv:opam-travis-localCopy head branch name to clipboardMay 26, 2017

+114-9

Commits

Commits on May 26, 2017

• use locally pinned OPAM packages for Travis

  palmskog

  committed
  ed8ce49

  Copy full SHA for ed8ce49

• fix dep on ocamlfind in Travis

  palmskog

  committed
  3b0c560

  Copy full SHA for 3b0c560

• package names not necessary in OPAM files

  palmskog

  committed
  1d3a337

  Copy full SHA for 1d3a337

• don't compile LockServMain.native by default

  palmskog

  committed
  75386e2

  Copy full SHA for 75386e2