Add Dockerfile back to libfly

Had moved this to flymake along with the build system, but really it's
not needed there.

Author: trflynn89

build/ci/Dockerfile

@@ -0,0 +1,56 @@
+FROM ubuntu:20.10
+
+MAINTAINER Timothy Flynn <[email protected]>
+
+ARG CLANG_VERSION
+ARG GCC_VERSION
+ARG JDK_VERSION
+
+# Install base tools
+RUN apt-get update && \
+    apt-get install -y \
+        curl \
+        lcov \
+        make \
+        sudo \
+    && \
+    \
+    echo "Set disable_coredump false" >> /etc/sudo.conf
+
+# Install gcc
+RUN apt-get install -y \
+        gcc-$GCC_VERSION \
+        gcc-$GCC_VERSION-multilib \
+        g++-$GCC_VERSION \
+        g++-$GCC_VERSION-multilib \
+    && \
+    \
+    for tool in gcc g++ gcov; \
+    do \
+        update-alternatives --install \
+            /usr/bin/$tool $tool /usr/bin/$tool-$GCC_VERSION 1; \
+    done
+
+# Install clang
+RUN apt-get install -y \
+        clang-$CLANG_VERSION \
+        lld-$CLANG_VERSION \
+        llvm-$CLANG_VERSION \
+    && \
+    \
+    for tool in clang clang++ lld llvm-ar llvm-cov llvm-profdata llvm-strip; \
+    do \
+        update-alternatives --install \
+            /usr/bin/$tool $tool /usr/bin/$tool-$CLANG_VERSION 1; \
+    done
+
+# Install OpenJDK
+RUN if test ! -z "$JDK_VERSION" ; then \
+        DEBIAN_FRONTEND=noninteractive apt-get install -y openjdk-$JDK_VERSION-jdk; \
+    fi
+
+# Cleanup
+RUN apt-get clean -y && \
+    apt-get autoremove -y && \
+    apt-get purge -y && \
+    rm -rf /tmp/* /var/tmp/* /var/cache/* /var/lib/apt/lists/*

build/ci/Makefile

@@ -0,0 +1,67 @@
+# Build, push, or run a libfly CI container.
+
+.PHONY: help
+.PHONY: build
+.PHONY: push
+.PHONY: run
+
+# Set the path to the build system.
+BUILD_ROOT := $(CURDIR)/../src
+
+# Import the build system.
+include $(BUILD_ROOT)/system.mk
+include $(BUILD_ROOT)/config.mk
+include $(BUILD_ROOT)/flags.mk
+
+# Docker settings.
+USER := trflynn89
+REPO := libfly
+BASE := $(shell grep -oP "(?<=FROM )(\S+)" Dockerfile)
+
+# Toolchain versions.
+CLANG_VERSION := 11
+GCC_VERSION := 10
+JDK_VERSION := 15
+
+# Form the tag for the container.
+ifeq ($(JDK_VERSION),)
+    TAG := $(subst :,,$(subst .,,$(BASE)))_clang$(CLANG_VERSION)_gcc$(GCC_VERSION)
+else
+    TAG := $(subst :,,$(subst .,,$(BASE)))_clang$(CLANG_VERSION)_gcc$(GCC_VERSION)_jdk$(JDK_VERSION)
+endif
+
+help:
+	$(Q)echo "Build, push, or run a $(REPO) container."
+	$(Q)echo
+	$(Q)echo "Container will be based on $(BASE), tagged $(TAG), and contain:"
+	$(Q)echo
+	$(Q)echo "    Clang $(CLANG_VERSION)"
+	$(Q)echo "    GCC $(GCC_VERSION)"
+ifneq ($(JDK_VERSION),)
+	$(Q)echo "    JDK $(JDK_VERSION)"
+endif
+	$(Q)echo
+	$(Q)echo "Usage: make [build] [push] [run] [clean]"
+
+build:
+	$(Q)docker build \
+		--tag $(USER)/$(REPO):$(TAG) \
+		--build-arg CLANG_VERSION=$(CLANG_VERSION) \
+		--build-arg GCC_VERSION=$(GCC_VERSION) \
+		--build-arg JDK_VERSION=$(JDK_VERSION) \
+		.
+
+push: build
+	$(Q)docker push $(USER)/$(REPO):$(TAG)
+
+run: build
+	$(Q)docker rm $(REPO) > /dev/null 2>&1 || true
+
+	$(Q)docker run -it \
+		--name $(REPO) \
+		--cap-add SYS_PTRACE \
+		$(USER)/$(REPO):$(TAG)
+
+clean:
+	$(Q)docker rm $(REPO) > /dev/null 2>&1 || true
+	$(Q)docker image rm $(shell docker images -q) > /dev/null 2>&1 || true

build/nix/Makefile

@@ -1,4 +1,4 @@
-SOURCE_ROOT := $(abspath $(CURDIR)/../..)
+SOURCE_ROOT := $(CURDIR)/../..
 VERSION := $(shell cat $(SOURCE_ROOT)/VERSION.md)
 
 include /usr/local/src/fly/api.mk