diff --git a/src/proto_alpha/lib_protocol/tezos-embedded-protocol-alpha.opam b/src/proto_alpha/lib_protocol/tezos-embedded-protocol-alpha.opam index beade11d5..b2304f250 100644 --- a/src/proto_alpha/lib_protocol/tezos-embedded-protocol-alpha.opam +++ b/src/proto_alpha/lib_protocol/tezos-embedded-protocol-alpha.opam @@ -15,7 +15,7 @@ depends: [ build: [ [ "%{tezos-protocol-compiler:lib}%/replace" "%{tezos-protocol-compiler:lib}%/dune_protocol.template" - "src/dune" "alpha" ] + "dune" "alpha" ] [ "dune" "build" "-p" name "-j" jobs ] ] run-test: [ diff --git a/src/proto_alpha/lib_protocol/tezos-protocol-alpha.opam b/src/proto_alpha/lib_protocol/tezos-protocol-alpha.opam index c651b91ff..c40ec5934 100644 --- a/src/proto_alpha/lib_protocol/tezos-protocol-alpha.opam +++ b/src/proto_alpha/lib_protocol/tezos-protocol-alpha.opam @@ -19,7 +19,7 @@ depends: [ build: [ [ "%{tezos-protocol-compiler:lib}%/replace" "%{tezos-protocol-compiler:lib}%/dune_protocol.template" - "src/dune" "alpha" ] + "dune" "alpha" ] [ "dune" "build" "-p" name "-j" jobs ] ] run-test: [ diff --git a/src/proto_demo/lib_protocol/tezos-embedded-protocol-demo.opam b/src/proto_demo/lib_protocol/tezos-embedded-protocol-demo.opam index 1b64f451f..1ba87b5a6 100644 --- a/src/proto_demo/lib_protocol/tezos-embedded-protocol-demo.opam +++ b/src/proto_demo/lib_protocol/tezos-embedded-protocol-demo.opam @@ -14,7 +14,7 @@ depends: [ build: [ [ "%{tezos-protocol-compiler:lib}%/replace" "%{tezos-protocol-compiler:lib}%/dune_protocol.template" - "src/dune" "demo" ] + "dune" "demo" ] [ "dune" "build" "-p" name "-j" jobs ] ] run-test: [ diff --git a/src/proto_demo/lib_protocol/tezos-protocol-demo.opam b/src/proto_demo/lib_protocol/tezos-protocol-demo.opam index 234dd48ec..2041e462f 100644 --- a/src/proto_demo/lib_protocol/tezos-protocol-demo.opam +++ b/src/proto_demo/lib_protocol/tezos-protocol-demo.opam @@ -13,7 +13,7 @@ depends: [ build: [ [ "%{tezos-protocol-compiler:lib}%/replace" "%{tezos-protocol-compiler:lib}%/dune_protocol.template" - "src/dune" "demo" ] + "dune" "demo" ] [ "dune" "build" "-p" name "-j" jobs ] ] run-test: [ diff --git a/src/proto_genesis/lib_protocol/tezos-embedded-protocol-genesis.opam b/src/proto_genesis/lib_protocol/tezos-embedded-protocol-genesis.opam index c67f3e7f3..c70918612 100644 --- a/src/proto_genesis/lib_protocol/tezos-embedded-protocol-genesis.opam +++ b/src/proto_genesis/lib_protocol/tezos-embedded-protocol-genesis.opam @@ -14,7 +14,7 @@ depends: [ build: [ [ "%{tezos-protocol-compiler:lib}%/replace" "%{tezos-protocol-compiler:lib}%/dune_protocol.template" - "src/dune" "genesis" ] + "dune" "genesis" ] [ "dune" "build" "-p" name "-j" jobs ] ] run-test: [ diff --git a/src/proto_genesis/lib_protocol/tezos-protocol-genesis.opam b/src/proto_genesis/lib_protocol/tezos-protocol-genesis.opam index aa4d51677..814411243 100644 --- a/src/proto_genesis/lib_protocol/tezos-protocol-genesis.opam +++ b/src/proto_genesis/lib_protocol/tezos-protocol-genesis.opam @@ -13,7 +13,7 @@ depends: [ build: [ [ "%{tezos-protocol-compiler:lib}%/replace" "%{tezos-protocol-compiler:lib}%/dune_protocol.template" - "src/dune" "genesis" ] + "dune" "genesis" ] [ "dune" "build" "-p" name "-j" jobs ] ] run-test: [