carp-lang/carp-docker

carp-docker

Dockerfiles for Carp development, and trying out Carp without installing!

The following Dockerfiles are provided:

• carplang/carp:latest — a native executable or C build host
• carplang/carp:emcc — carplang/carp:latest extended with WASM/ASM.js build host capabilities

Try it!

If you have Docker installed, playing around with Carp is as easy as running:

docker run -it --rm carplang/carp

This will give you a shell in which you can play around with Carp. To verify Carp works as intended, you can try typing:

(defn main [] (IO.println "hi"))

in the REPL. Nothing will happen, but if you build it by typing :bx, hi should be printed to your screen! Amazing, right?

Use it!

As a base image:

You can also use this image as a base image for your Carp-related Docker projects. This is as simple as starting your Dockerfile with:

FROM carplang/carp:latest

Or package only your app:

FROM carplang/carp:latest as builder

COPY example/hello_world.carp /mnt/app/

RUN carp -b hello_world.carp

FROM scratch

COPY --from=builder /mnt/app/out/HelloWorld /usr/local/bin/

ENTRYPOINT ["/usr/local/bin/HelloWorld"]

You can then build your program using docker build -t hello_carp -f <DOCKERFILE_NAME> . and run it using docker run --rm hello_carp!

As a build host

To build .c files and compile them to a native executable, first run the following from the repository root:

docker run -v $(pwd)/example:/mnt/app \
           --user 1000:1000 \
           --rm \
           carplang/carp:latest \
           carp -b hello_world.carp

Then you can run the resulting executable from the host, if it's x64 Linux with glibc:

./example/out/HelloWorld

As a WASM/ASM.js build host

To generate the web files, run the following after executing the build step that produces the .c files from above:

docker run -v $(pwd)/example/out/:/mnt/app \
            --rm \
            -ti \
            carplang/carp:emcc \
            emcc main.c \
                 -s WASM=1 \
                 -I/opt/carp/core \
                 -o hello.html \
                 --emrun

You can serve the website directly from Docker afterwards!

docker run -v $(pwd)/example/out/:/mnt/app \
           --rm \
           -ti \
           --net=host \
           carplang/carp:emcc \
           emrun --no_browser \
                 --port 8080 \
                 hello.html

The above will open port 8080 and serve the produced files there. This means that you should be able to go to http://localhost:8080/hello.html and see your app if your browser supports WASM!

---

Have fun!

carp-docker's Issues

unikernel builder/runner

Would be cool to have a way to compile and run Carp based unikernels. Mb something like IncludeOS can be used 🤔

For the reference carp-lang/Carp#178

Set up autobuild

We need to investigate why Dockerhub won’t let me set up autobuilds. The repository isn’t elligible for autobuilds via Github, despite me being allowed to do basically everything with the repository and @eriksvedang (the owner of the organization) having accepted my OAuth request.

What is happening here? Any input is welcome!

For now working without autobuilds is fine, but I’d love if that weren’t necessary.

Cheers