ligo/scripts/Dockerfile.build.in

FROM $base_image

COPY src tezos/src
COPY test tezos/test
COPY scripts tezos/scripts
COPY vendors tezos/vendors
COPY Makefile jbuild .ocp-indent tezos/

RUN sudo chown -R opam /home/opam/tezos && \
    cd tezos && \
    opam config exec -- make all && \
    opam config exec -- make build-test
Update CI 2017-08-04 20:32:52 +04:00			`FROM $base_image`

Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr 2017-10-27 22:45:31 +04:00			`COPY src tezos/src`
			`COPY test tezos/test`
			`COPY scripts tezos/scripts`
Context: quick-and-dirty leveldb backend for Irmin This is a dirty and non-optimized backend, it is still faster than the current git backend. Main drawbacks: - the leveldb binding is non-coopertive, the node will block while committing a block to the disk ; - the leveldb use 'string' while internally we use 'cstruct', this implies a lot of time-consuming 'memcpy'. 2017-11-20 00:25:28 +04:00			`COPY vendors tezos/vendors`
CI: use compatible options for `diff`. Also install `ocp-indent` and embeds `.ocp-indent` in the docker image. 2017-11-14 07:57:06 +04:00			`COPY Makefile jbuild .ocp-indent tezos/`
Update CI 2017-08-04 20:32:52 +04:00
			`RUN sudo chown -R opam /home/opam/tezos && \`
Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr 2017-10-27 22:45:31 +04:00			`cd tezos && \`
			`opam config exec -- make all && \`
			`opam config exec -- make build-test`