From 4c3458b607c6737a660b29984a34bca15863b8dd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@nomadic-labs.com>
Date: Tue, 14 May 2019 17:24:57 +0200
Subject: [PATCH] Moved ligo sources to src/ directory.

---
 packages/ligo/ligo.dev/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/ligo/ligo.dev/opam b/packages/ligo/ligo.dev/opam
index 404f29b24..fd773bcd3 100644
--- a/packages/ligo/ligo.dev/opam
+++ b/packages/ligo/ligo.dev/opam
@@ -21,6 +21,7 @@ depends: [
 ]
 build: [
   [ "dune" "build" "-p" name "-j" jobs ]
+  [ "mv" "src/ligo.install" "." ]
 ]
 url {
   src: "https://gitlab.com/gabriel.alfour/ligo/-/archive/master/ligo.tar.gz"