Moved ligo sources to src/ directory.

2019-05-14 17:24:57 +02:00 · 2019-05-14 17:24:57 +02:00 · 4c3458b607
commit 4c3458b607
parent 1e48437349
1 changed files with 1 additions and 0 deletions
--- 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"