fix makefile and remove dev-env/

dev-env/Dockerfile

@@ -1,5 +0,0 @@
-FROM archlinux
-RUN pacman -Syu --noconfirm
-RUN pacman -S make clang git pkg-config --noconfirm
-WORKDIR /workspace
-ENTRYPOINT ["/bin/bash"]

dev-env/run

@@ -1,3 +0,0 @@
-#!/bin/sh
-docker build -t slige-dev-env dev-env
-docker run --name dev-env --rm -it --mount type=bind,source="$(pwd)"/,target=/workspace slige-dev-env

runtime/Dockerfile

@@ -1,9 +1,9 @@
-from gcc
+FROM gcc
 
 WORKDIR /workdir
 
 COPY . .
 
-RUN make -j 8
+RUN make
 
 ENTRYPOINT [ "./build/sliger", "run", "out.slgbc" ]

runtime/Makefile

@@ -38,7 +38,6 @@ all: build_dir $(OUT)
 
 $(OUT): $(CXX_OBJECTS)
 	$(CXX) -o $@ $(CXX_FLAGS) $^
-	git rev-parse HEAD > build/rev
 
 build_dir:
 	mkdir -p build/