Skip to content

Commit

Permalink
dockerfile: tau executable as an entrypoint + usage info
Browse files Browse the repository at this point in the history
  • Loading branch information
tklip committed Feb 12, 2025
1 parent 0c70c25 commit 8ec3400
Showing 1 changed file with 22 additions and 0 deletions.
22 changes: 22 additions & 0 deletions Dockerfile
Original file line number Diff line number Diff line change
@@ -1,3 +1,17 @@
# This is a Dockerfile for building, testing, packaging and running the tau-lang

# To build the image with tag 'tau' from ./Dockerfile:
# docker build -t tau .

# use --build-arg TESTS="no" to skip running tests
# use --build-arg BUILD_TYPE="Debug" for build debugging version

# To run tau using the created image in interactive mode:
# docker run --rm -it tau [<tau options>]

# --rm flag is used to remove the container after it exits


FROM ubuntu:24.04

# Install dependencies
Expand Down Expand Up @@ -54,3 +68,11 @@ RUN if [ "$RELEASE" = "yes" ]; then \
cd external && ./libboost-mingw-builder.sh && cd .. \
./w64-packages.sh; \
fi

# If tau executable does not exist already, build it
RUN if [ ! -f ./build-${BUILD_TYPE}/tau ]; then ./build.sh "${BUILD_TYPE}"; fi

# Set the entrypoint to the tau executable
WORKDIR /tau-lang/build-${BUILD_TYPE}
ENTRYPOINT [ "./tau" ]
CMD []

0 comments on commit 8ec3400

Please sign in to comment.