Skip to content

Instantly share code, notes, and snippets.

@GavinRay97
Created August 28, 2022 16:56
Show Gist options
  • Select an option

  • Save GavinRay97/e3c166c5ba24c2c1bc4a09d7bf31a24c to your computer and use it in GitHub Desktop.

Select an option

Save GavinRay97/e3c166c5ba24c2c1bc4a09d7bf31a24c to your computer and use it in GitHub Desktop.
Hare Dockerized development environment
# Could also use FROM ubuntu/debian
ARG VARIANT="jammy"
FROM mcr.microsoft.com/vscode/devcontainers/base:0-${VARIANT}
RUN set -x \
&& export DEBIAN_FRONTEND=noninteractive \
&& apt-get update \
&& apt-get install -y --no-install-recommends \
ca-certificates \
curl \
gnupg \
software-properties-common \
wget \
xz-utils \
git \
make \
clang
RUN set -x \
# QBE
&& git clone git://c9x.me/qbe.git /qbe \
&& cd /qbe \
&& make && make install \
# scdoc
&& git clone https://git.sr.ht/~sircmpwn/scdoc /scdoc \
&& cd /scdoc \
&& make && make install \
# Hare bootstrap compiler
&& git clone https://git.sr.ht/~sircmpwn/harec /harec \
&& cd /harec \
&& ./configure && make && make install \
# Hare
&& git clone https://git.sr.ht/~sircmpwn/hare /hare \
&& cd /hare \
&& cp /hare/config.example.mk config.mk \
&& make && make install
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment