From ff4804269f2b30b033f1f8007b14d04be7a6c1ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Tue, 23 Apr 2019 14:28:06 +0200 Subject: [PATCH] Missing dependency: alcotest --- src/ligo/ligo.opam | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/ligo/ligo.opam b/src/ligo/ligo.opam index b57c739bf..963bc0338 100644 --- a/src/ligo/ligo.opam +++ b/src/ligo/ligo.opam @@ -1,3 +1,4 @@ +name: "ligo" opam-version: "2.0" version: "1.0" maintainer: "gabriel.alfour@gmail.com" @@ -15,9 +16,11 @@ depends: [ "tezos-utils" "getopt" "yojson" + "alcotest" { test } ] build: [ [ "dune" "build" "-p" name "-j" jobs ] + # needed in the repository, but must not be present in the local ligo.opam [ "mv" "src/ligo/ligo.install" "." ] ] url {