`docker build` integration...? about modus HOT 7 CLOSED

If there was a way to pass the query though docker build, for example, using the --target option, or even print proof tree via some options, this would be the ideal approach.

from modus.

There doesn't seems to be a way to extend the command line syntax to enable something like docker build -f Modusfile . query. However there seems to be a way to specify build arguments which may be applied as environment variables when running the front-end. I will do some trial on this and see if it works well enough.

from modus.

Missed your --target suggestion - I will also investigate what that does in the context of buildkit builds

from modus.

For some reason I keep getting this, even if I just sleep indefinitely in main:

(#syntax=europe-docker.pkg.dev/maowtm/modus-test/frontend)

Dockerfile for modus-test/frontend:

FROM rust AS build
WORKDIR /usr/src/app
COPY ./src ./src
COPY ./Cargo.lock .
COPY ./Cargo.toml .
RUN cargo build --release

FROM debian
COPY --from=build /usr/src/app/target/release/bktest /
CMD ["/bktest"]

Unless I can figure out how to make my own buildkit frontend, I will implement our image building by statically generating llb and just asking user to run buildctl for now...

I figured it out - just change the CMD to ENTRYPOINT... For some reason CMD doesn't work lol

from modus.

Made a very simple buildkit frontend with the buildkit_frontend and buildkit_llb crate: https://github.com/maowtm/buildkit-frontend-test . (Can't create repo in modus org)

Just confirmed that fortunately we can get the --target value, as well as any build arguments provided in the command line. Outputing error messages might be tricky though - it is re-echo'd by the buildkit gateway, and we may lose colors and might not even be able to print multiple lines...

@mechtaev

(Remember that I set DOCKER_BUILDKIT=1 in my shell, otherwise things won't work. These images are actually there on Google Cloud so feel free to try.)

from modus.

Also worth noting - the crates are almost two years old with no update to tokio 1.0 and uses other deprecated stuff.

from modus.

we can get the --target value, as well as any build arguments provided in the command line

This is great. If we can also somehow print the proof, this will be the perfect option for the initial release. I am wondering if something like --progress plain will work for printing multiple lines.

Also worth noting - the crates are almost two years old with no update to tokio 1.0 and uses other deprecated stuff.

Yes, and it seems to be a rather complicated to fork and maintain by ourselves.

from modus.